Results 1 to 14 of 14
Sort by:

  • 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...