What lies between design intent coverage and model checking?

Sayantan Das Prasenjit Basu Pallab Dasgupta P. P. Chakrabarti

Published in: DATE (2006)

Keyphrases

model checking
temporal logic
formal verification
temporal properties
formal specification
formal methods
automated verification
verification method
symbolic model checking
concurrent systems
partial order reduction
finite state machines
epistemic logic