• MoMo

  • Referenced in 4 articles [sw10020]
  • localities. The logic is inspired by Hennessy-Milner Logic (HML) and the $mu$-calculus...
  • Coq

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

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

  • Referenced in 30 articles [sw01544]
  • MoDeST --- a modelling and description language for stochastic...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • The ELAN system provides an environment for specifying...
  • LOTOS

  • Referenced in 151 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • SLMC

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

  • Referenced in 622 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • CADP

  • Referenced in 130 articles [sw04993]
  • CADP (”Construction and Analysis of Distributed Processes”, formerly...
  • HOL

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

  • Referenced in 657 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • Oz

  • Referenced in 113 articles [sw06799]
  • Oz is a high-level programming language combining...
  • LEGO

  • Referenced in 107 articles [sw09685]
  • LEGO is an interactive proof development system (proof...
  • tKlaim

  • Referenced in 8 articles [sw10023]
  • Global computing in a dynamic network of tuple...
  • XSB

  • Referenced in 137 articles [sw13877]
  • XSB is a Logic Programming and Deductive Database...
  • Java-MOP

  • Referenced in 18 articles [sw14034]
  • Java-MOP: A monitoring oriented programming environment for...
  • MAGIC

  • Referenced in 37 articles [sw14159]
  • An iterative framework for simulation conformance. MAGIC is...
  • LOTOSphere

  • Referenced in 9 articles [sw14748]
  • LOTOSphere: Software Development with LOTOS. LOTOS (Language Of...
  • Transactors

  • Referenced in 6 articles [sw20929]
  • Transactors: a programming model for maintaining globally consistent...