• Coq

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

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

  • Referenced in 10 articles [sw01486]
  • jMoped: A Java bytecode checker based on Moped...
  • SLAM

  • Referenced in 150 articles [sw03136]
  • SLAM is a project for checking that software...
  • SPIN

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

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

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

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

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

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

  • Referenced in 155 articles [sw08510]
  • Specification and verification of concurrent systems in CESAR...
  • Bebop

  • Referenced in 74 articles [sw08928]
  • Bebop: A Symbolic Model Checker for Boolean Programs...
  • CBMC

  • Referenced in 77 articles [sw09719]
  • CBMC is a Bounded Model Checker for ANSI...
  • 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...
  • ESBMC

  • Referenced in 7 articles [sw09946]
  • ESBMC is a context-bounded model checker for...
  • MAGIC

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

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

  • Referenced in 3 articles [sw20266]
  • Moped - A Model-Checker for Pushdown Systems. ...