Keyphrases
- model checking
- static analysis
- dynamic analysis
- abstract interpretation
- source code
- temporal logic
- model checker
- formal specification
- software systems
- computation tree logic
- termination analysis
- temporal properties
- formal verification
- automated verification
- timed automata
- symbolic model checking
- reverse engineering
- bounded model checking
- transition systems
- epistemic logic
- process algebra
- pspace complete
- open source
- databases
- high level
- concurrent systems
- verification method
- reactive systems
- regular expressions
- formal methods
- matching algorithm
- modal logic
- linear temporal logic
- active rules
- artificial intelligence
- planning domains