Model checking and validity in propositional and modal inclusion logics.
Lauri HellaAntti KuusistoArne MeierJonni VirtemaPublished in: J. Log. Comput. (2019)
Keyphrases
- cl pc
- model checking
- coalition logic
- temporal logic
- modal logic
- transition systems
- automated verification
- finite state
- symbolic model checking
- logical framework
- formal verification
- satisfiability problem
- pspace complete
- formal specification
- temporal properties
- model checker
- verification method
- epistemic logic
- default logic
- process algebra
- bounded model checking
- dynamic logic
- computation tree logic
- asynchronous circuits
- formal methods
- multi agent systems
- linear temporal logic
- binary decision diagrams
- nonmonotonic logics
- decision procedures
- timed automata
- reasoning tasks
- reachability analysis
- inference rules
- np complete
- description logics