Efficient Software Model Checking of Data Structure Properties.
Chandrasekhar BoyapatiPaul T. DargaPublished in: Directed Model Checking (2006)
Keyphrases
- model checking
- temporal properties
- data structure
- temporal logic
- formal verification
- formal methods
- finite state
- verification method
- model checker
- formal specification
- finite state machines
- reactive systems
- reachability analysis
- automated verification
- bounded model checking
- timed automata
- epistemic logic
- symbolic model checking
- transition systems
- asynchronous circuits
- abstract interpretation
- computation tree logic
- pspace complete
- process algebra
- software architecture
- software development
- data flow
- search algorithm