• LoTREC

  • Referenced in 25 articles [sw07684]
  • strategies. It aims at covering all Kripke-semantic based logics. It is implemented in Java...
  • MleanCoP

  • Referenced in 7 articles [sw21522]
  • additional prefix unification, which captures the Kripke semantics of different modal logics. MleanCoP is implemented...
  • VPM

  • Referenced in 11 articles [sw07364]
  • from UML models to different semantic domains (Petri nets, Kripke automaton, process algebras ... Time. However, such transformations into different semantic domains typically require the deep understanding...
  • FRPNow

  • Referenced in 1 article [sw20016]
  • denotational semantics for this new interface, and a technique (using Kripke logical relations) for reasoning...
  • ACTLW

  • Referenced in 7 articles [sw21031]
  • used as those for systems represented by Kripke structures. This is partially ... Action versus logics for transition systems, in: Semantics of Systems of Concurrent Processes, Proceedings LITP...
  • Petri-PDL

  • Referenced in 3 articles [sw15081]
  • assessing concurrent systems with a formal semantics leads to the possibility of proving that they ... formally designed following the representation of Kripke models as rewrite theories defined for the Linear...
  • Coq

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

  • Referenced in 66 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • Isabelle

  • Referenced in 624 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Ott

  • Referenced in 31 articles [sw00663]
  • Semantic definitions of full-scale programming languages are...
  • PRISM

  • Referenced in 423 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • HiLog

  • Referenced in 47 articles [sw01580]
  • HiLog: A foundation for higher-order logic programming...
  • ConGolog

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

  • Referenced in 26 articles [sw02065]
  • JoCaml: A language for concurrent distributed and mobile...
  • GOLOG

  • Referenced in 170 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • CASL

  • Referenced in 173 articles [sw02235]
  • The specification language developed by CoFI is called...
  • XYZ/ADL

  • Referenced in 2 articles [sw02924]
  • A temporal logic-based software architecture description language...
  • SQEMA

  • Referenced in 39 articles [sw03056]
  • Algorithmic correspondence and completeness in modal logic. IV...