• Coq

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

  • Referenced in 5 articles [sw00164]
  • CPBPV: a constraint-programming framework for bounded program...
  • MiniSat

  • Referenced in 520 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • R

  • Referenced in 7603 articles [sw00771]
  • R is a language and environment for statistical...
  • BLAST

  • Referenced in 123 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...
  • KRAKATOA

  • Referenced in 85 articles [sw03159]
  • The KRAKATOA tool for certification of JAVA/JAVACARD programs...
  • SPIN

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

  • Referenced in 821 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • CPLEX

  • Referenced in 2489 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Why3

  • Referenced in 126 articles [sw04438]
  • Why3 is a platform for deductive program verification...
  • JML

  • Referenced in 188 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...
  • ARMC

  • Referenced in 26 articles [sw04949]
  • ARMC: The Logical Choice for Software Model Checking...
  • OCaml

  • Referenced in 267 articles [sw06363]
  • OCaml is the most popular variant of the...
  • Oz

  • Referenced in 113 articles [sw06799]
  • Oz is a high-level programming language combining...
  • PDDL

  • Referenced in 88 articles [sw07079]
  • Planning Domain Definition Language (PDDL). PDDL2.1: An extension...
  • Graphplan

  • Referenced in 180 articles [sw07746]
  • Fast planning through planning graph analysis. We introduce...
  • AProVE

  • Referenced in 144 articles [sw07831]
  • AProVE 1.2: Automatic Termination Proofs in the Dependency...
  • 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...