Keyphrases
- model checking
- java programs
- temporal logic
- multi threaded
- formal verification
- temporal properties
- model checker
- automated verification
- transition systems
- abstract interpretation
- software components
- formal specification
- formal methods
- symbolic model checking
- verification method
- high level
- epistemic logic
- computation tree logic
- test suite
- reactive systems
- real time
- planning domains
- programming language
- multi agent