MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications.
Petr CermákAlessio LomuscioFabio MogaveroAniello MuranoPublished in: CAV (2014)
Keyphrases
- model checker
- model checking
- formal verification
- formal methods
- temporal logic
- description language
- formal specification
- set theory
- test suite
- bounded model checking
- epistemic logic
- transition systems
- symbolic model checking
- specification language
- ai planning
- concurrent systems
- asynchronous circuits
- search strategy
- software architecture
- fuzzy sets
- knowledge base
- reactive systems
- computational intelligence
- search strategies
- knowledge based systems
- partial order
- planning domains