Scalable shared memory LTL model checking.
Jiri BarnatLubos BrimPetr RockaiPublished in: Int. J. Softw. Tools Technol. Transf. (2010)
Keyphrases
- model checking
- shared memory
- multi processor
- temporal logic
- commodity hardware
- parallel algorithm
- message passing
- distributed memory
- bounded model checking
- formal specification
- formal verification
- finite state
- transition systems
- symbolic model checking
- model checker
- verification method
- linear temporal logic
- temporal properties
- automated verification
- parallel tree search
- linear time temporal logic
- epistemic logic
- formal methods
- computation tree logic
- concurrent systems
- timed automata
- shared memory multiprocessors
- web services
- binary decision diagrams
- description language
- shared memory multiprocessor