C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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