Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking.

Roberto Sebastiani Stefano Tonetta Moshe Y. Vardi

Published in: CAV (2005)

Keyphrases

symbolic model checking
model checking
hybrid approaches
binary decision diagrams
symbolic representation
safety analysis
learning algorithm
artificial intelligence
expert systems
heuristic search
temporal logic