Keyphrases
- modal logic
- static analysis
- dynamic analysis
- temporal logic
- inference rules
- source code
- symbolic execution
- java card
- default logic
- regular expressions
- epistemic logic
- situation calculus
- classical logic
- nonmonotonic logics
- model checking
- conditional logic
- abstract interpretation
- test generation
- modal operators
- case study
- database