Consistent Partial Model Checking.

Michael Huth Shekhar Pradhan

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

model checking
temporal logic
model checker
temporal properties
partial order reduction
formal verification
finite state machines

formal specification
verification method
symbolic model checking
bounded model checking
finite state
automated verification

computation tree logic
reachability analysis
epistemic logic
timed automata
concurrent systems
deterministic finite automaton

formal methods
reactive systems
pspace complete
asynchronous circuits
partial information
transition systems