Multi-Models and Multi-Formulas Finite Model Checking for Modal Logic Formulas Induction.
Mauro MilellaGiovanni PagliariniAndrea ParadisoIonel Eduard StanPublished in: OVERLAY@AI*IA (2022)
Keyphrases
- temporal logic
- model checking
- modal logic
- epistemic logic
- linear temporal logic
- finite state machines
- modal operators
- finite state
- inference rules
- formal verification
- linear time temporal logic
- decision procedures
- automated verification
- transition systems
- verification method
- nonmonotonic logics
- reactive systems
- symbolic model checking
- classical logic
- satisfiability problem
- coalition logic
- computation tree logic
- bounded model checking
- model checker
- situation calculus