An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment.
Nina AmlaXiaoqun DuAndreas KuehlmannRobert P. KurshanKenneth L. McMillanPublished in: CHARME (2005)
Keyphrases
- model checking
- bounded model checking
- industrial environment
- temporal logic
- finite state
- formal specification
- model checker
- computation tree logic
- temporal properties
- formal verification
- formal methods
- reachability analysis
- automated verification
- verification method
- concurrent systems
- timed automata
- abstract interpretation
- finite state machines