• TATL

  • Referenced in 6 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 417 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • VerICS

  • Referenced in 33 articles [sw02011]
  • Verics (VerICS) is our original tool for automated...
  • Jason

  • Referenced in 62 articles [sw06187]
  • Programming multi-agent systems in AgentSpeak using Jason...
  • Reo

  • Referenced in 83 articles [sw06353]
  • The Reo coordination language. Reo presents a paradigm...
  • MCMAS

  • Referenced in 72 articles [sw09463]
  • MCMAS: A Model Checker for the Verification of...
  • MCK

  • Referenced in 30 articles [sw09465]
  • MCK: Model checking knowledge. MCK is a model...
  • PyNuSMV

  • Referenced in 2 articles [sw12293]
  • PyNuSMV is a Python framework for experimenting and...
  • MOCHA

  • Referenced in 91 articles [sw12935]
  • MOCHA: Modularity in Model Checking. MOCHA is a...
  • jMocha

  • Referenced in 3 articles [sw24777]
  • jMocha: a model checking tool that exploits design...
  • EAGLE

  • Referenced in 8 articles [sw31989]
  • A tool for the automated verification of Nash...