Using MTBDDs for discrete timed symbolic model checking.

Thomas Kropf Jürgen Ruf

Published in: ED&TC (1997)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
conformant planning
petri net
binary decision diagrams
symbolic representation
model checker
artificial intelligence
formal specification