MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications.
Petr CermákAlessio LomuscioFabio MogaveroAniello MuranoPublished in: CoRR (2014)
Keyphrases
- model checker
- model checking
- formal verification
- formal methods
- temporal logic
- description language
- formal specification
- set theory
- symbolic model checking
- test suite
- transition systems
- epistemic logic
- bounded model checking
- specification language
- ai planning
- asynchronous circuits
- service composition
- search strategy
- knowledge based systems
- high level