Keyphrases
- linear temporal logic
- bounded model checking
- temporal logic
- alternating time temporal logic
- epistemic logic
- model checking
- logic programming
- high level
- modal logic
- classical logic
- computer programs
- test cases
- logical framework
- static analysis
- computation tree logic
- control program
- declarative semantics
- temporal properties
- predicate logic
- probabilistic logic
- program synthesis
- model checker
- imperfect information
- logic programs
- multi valued
- neural network