• MCMAS

  • Referenced in 82 articles [sw09463]
  • level agents attitudes. In particular, specification languages based on epistemic logic [7], or logics ... security specifications involving anonymity [4] are known to be naturally expressible in epistemic formalisms...
  • MCMAS-SLK

  • Referenced in 19 articles [sw24778]
  • verification of systems against specifications expressed in a novel, epistemic variant of strategy logic ... semantics of the specification language and introduce a labelling algorithm for epistemic and strategy logic ... synthesising agents’ strategies so that a specification is satisfied by the system. We evaluate...
  • ESParser

  • Referenced in 1 article [sw31011]
  • ESParser: an epistemic specification grounder. As an extension of answer set programs, the language ... epistemic specifications has gained popularity in the last years due to its strong expressive power ... semantics is defined on the grounded epistemic specifications, GROUNDING is an important stage ... propose a grounding approach for epistemic specifications by using forward inference techniques. We introduce...
  • ESmodels

  • Referenced in 1 article [sw31010]
  • ESmodels: an epistemic specification solver. ESmodels is designed and implemented as an experiment platform ... epistemic specifications.We first give the epistemic specification language of ESmodels and its semantics. The language...
  • Coq

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

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

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

  • Referenced in 35 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 173 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • KARO

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

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

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

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

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

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

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

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

  • Referenced in 187 articles [sw04715]
  • DACE, Design and Analysis of Computer Experiments, is...
  • DLMF

  • Referenced in 2809 articles [sw04968]
  • NIST digital library of mathematical functions. The National...