Results 1 to 20 of 44
Sort by:

  • 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...