• ACL2

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

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

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

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

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

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

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

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

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

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

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

  • Referenced in 156 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 65 articles [sw09837]
  • Racer is a knowledge representation system that implements...
  • MAGIC

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

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