• TABLEAUX

  • Referenced in 18 articles [sw11674]
  • wide class of modal logics, including usual temporal, epistemic or dynamic logics. We survey...
  • MCMAS

  • Referenced in 67 articles [sw09463]
  • Verification of Multi-Agent Systems. While temporal logic in its various forms has proven essential ... attitudes. In particular, specification languages based on epistemic logic [7], or logics for knowledge, have...
  • LDYIS

  • Referenced in 3 articles [sw01359]
  • syntax and semantics of a temporal-epistemic security-specialised logic and provide a lazy-intruder...
  • Coq

  • Referenced in 1758 articles [sw00161]
  • Coq is a formal proof management system. It...
  • ML

  • Referenced in 502 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • ConGolog

  • Referenced in 48 articles [sw01801]
  • ConGolog, a concurrent programming language based on the...
  • VerICS

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

  • Referenced in 2 articles [sw02026]
  • Browser-based enforcement of interface contracts in web...
  • GOLOG

  • Referenced in 169 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • MCMAS-X

  • Referenced in 3 articles [sw02864]
  • Verification of the TESLA protocol in MCMAS-X...
  • KARO

  • Referenced in 22 articles [sw03116]
  • Formalizing potential of agents. The KARO framework revisited...
  • AVISPA

  • Referenced in 81 articles [sw03172]
  • AVISPA (Automated Validation of Internet Security Protocols and...
  • SPIN

  • Referenced in 699 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Haskell

  • Referenced in 836 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • NuSMV

  • Referenced in 289 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • CUDD

  • Referenced in 148 articles [sw04446]
  • The CUDD package provides functions to manipulate Binary...
  • SLMC

  • Referenced in 70 articles [sw04604]
  • SLMC: A tool for model checking concurrent systems...
  • Gringo

  • Referenced in 94 articles [sw04630]
  • This document provides an introduction to the Answer...
  • HOL

  • Referenced in 483 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...