• Coq

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

  • Referenced in 674 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • KeY-C

  • Referenced in 5 articles [sw00486]
  • We present KeY-C, a tool for deductive...
  • Maple

  • Referenced in 5296 articles [sw00545]
  • The result of over 30 years of cutting...
  • Nitpick

  • Referenced in 61 articles [sw00622]
  • Nitpick is a counterexample generator for Isabelle/HOL that...
  • RelView

  • Referenced in 102 articles [sw00798]
  • The RelView-System is an interactive tool for...
  • PRISM

  • Referenced in 434 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • ML

  • Referenced in 517 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • Kronos

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

  • Referenced in 54 articles [sw01496]
  • mCRL2 stands for micro Common Representation Language 2...
  • CASL

  • Referenced in 174 articles [sw02235]
  • The specification language developed by CoFI is called...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • KeYmaera

  • Referenced in 43 articles [sw03709]
  • KeYmaera: A hybrid theorem prover for hybrid systems...
  • HyTech

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

  • Referenced in 144 articles [sw04599]
  • Theorem proving system supporting both interactive proof development...
  • Uppaal

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

  • Referenced in 562 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • Prover9

  • Referenced in 188 articles [sw04969]
  • Prover9 and Mace4: Prover9 is an automated theorem...
  • HOL

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