-
TATL
- Referenced in 7 articles
[sw07522]
- based decision procedure for the alternating-time temporal logic proposed by Goranko and Shkatov...
-
Cool
- Referenced in 4 articles
[sw11992]
- next-step fragment of alternating-time temporal logic), plus every logic that arises...
-
PRISM
- Referenced in 442 articles
[sw01186]
- PRISM: Probabilistic symbolic model checker. In this paper...
-
VerICS
- Referenced in 35 articles
[sw02011]
- Verics (VerICS) is our original tool for automated...
-
Jason
- Referenced in 65 articles
[sw06187]
- Programming multi-agent systems in AgentSpeak using Jason...
-
Reo
- Referenced in 88 articles
[sw06353]
- The Reo coordination language. Reo presents a paradigm...
-
MCMAS
- Referenced in 80 articles
[sw09463]
- MCMAS: A Model Checker for the Verification of...
-
MCK
- Referenced in 33 articles
[sw09465]
- MCK: Model checking knowledge. MCK is a model...
-
PyNuSMV
- Referenced in 3 articles
[sw12293]
- PyNuSMV is a Python framework for experimenting and...
-
PRISM-games
- Referenced in 20 articles
[sw12934]
- PRISM-games: a model checker for stochastic multi...
-
MOCHA
- Referenced in 92 articles
[sw12935]
- MOCHA: Modularity in Model Checking. MOCHA is a...
-
jMocha
- Referenced in 4 articles
[sw24777]
- jMocha: a model checking tool that exploits design...
-
MCMAS-SLK
- Referenced in 19 articles
[sw24778]
- MCMAS-SLK: A model checker for the verification...
-
EAGLE
- Referenced in 8 articles
[sw31989]
- A tool for the automated verification of Nash...