Results 1 to 20 of 23
Sort by:

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