• ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Coq

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

  • Referenced in 273 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • SPIN

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

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

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

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

  • Referenced in 133 articles [sw06170]
  • MONA implementation secrets. The MONA tool provides an...
  • XQuery

  • Referenced in 124 articles [sw06669]
  • XML is a versatile markup language, capable of...
  • Pellet

  • Referenced in 95 articles [sw07019]
  • Pellet: OWL 2 Reasoner for Java. For applications...
  • OEIS

  • Referenced in 4187 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • CESAR

  • Referenced in 161 articles [sw08510]
  • Specification and verification of concurrent systems in CESAR...
  • K tool

  • Referenced in 17 articles [sw09746]
  • 𝕂 framework distilled. 𝕂 is a rewrite-based...
  • Racer

  • Referenced in 66 articles [sw09837]
  • Racer is a knowledge representation system that implements...
  • PGSolver

  • Referenced in 35 articles [sw14051]
  • The PGSolver collection of parity game solvers. Solving...
  • MAGIC

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

  • Referenced in 374 articles [sw15780]
  • XPath 2.0 is an expression language that allows...
  • ALGOL 60

  • Referenced in 669 articles [sw21807]
  • ALGOL 60 (short for Algorithmic Language 1960) is...