The hidden models of model checking.
Willem VisserMatthew B. DwyerMichael W. WhalenPublished in: Softw. Syst. Model. (2012)
Keyphrases
- model checking
- temporal logic
- finite state machines
- reactive systems
- finite state
- verification method
- formal specification
- formal methods
- model checker
- bounded model checking
- partial order reduction
- modal logic
- temporal properties
- symbolic model checking
- reachability analysis
- process model
- abstract interpretation
- deterministic finite automaton