Login / Signup
A Performance Study of BDD-Based Model Checking.
Bwolen Yang
Randal E. Bryant
David R. O'Hallaron
Armin Biere
Olivier Coudert
Geert Janssen
Rajeev K. Ranjan
Fabio Somenzi
Published in:
FMCAD (1998)
Keyphrases
</>
model checking
temporal logic
formal verification
temporal properties
finite state machines
formal methods
model checker
formal specification
partial order reduction
search algorithm
finite state
binary decision diagrams
bounded model checking