• COWS

  • Referenced in 51 articles [sw06955]
  • ingredients borrowed from well-known process calculi, e.g. asynchronous communication, polyadic synchronization, pattern matching, protection...
  • PiDuce

  • Referenced in 21 articles [sw01418]
  • relying on solid theories about process calculi and formal languages for XML documents and schemas.The ... constructs that are based on Milner’s asynchronous pi calculus. The runtime environment supports...
  • Coq

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

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

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • ML

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

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

  • Referenced in 70 articles [sw02905]
  • Integrity constraints in the multi-paradigm language PROGRES...
  • SIGNAL

  • Referenced in 52 articles [sw02915]
  • An ML-like module system for the synchronous...
  • LOTOS

  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • 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...
  • Eiffel

  • Referenced in 289 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • HyTech

  • Referenced in 331 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • MWB

  • Referenced in 34 articles [sw04395]
  • The mobility workbench — A tool for the π...
  • Uppaal

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

  • Referenced in 505 articles [sw04704]
  • The Mizar System is the only implementation of...