Operator precedence temporal logic and model checking.
Michele ChiariDino MandrioliMatteo PradellaPublished in: Theor. Comput. Sci. (2020)
Keyphrases
- temporal logic
- model checking
- model checker
- formal verification
- finite state
- modal logic
- computation tree logic
- temporal properties
- concurrent systems
- satisfiability problem
- modal operators
- formal specification
- verification method
- transition systems
- symbolic model checking
- partial order
- bounded model checking
- formal methods
- linear temporal logic
- epistemic logic
- search algorithm
- reactive systems
- knowledge based systems
- belief revision
- specification language