• PRISM

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

  • Referenced in 25 articles [sw01980]
  • HySAT: An efficient proof engine for bounded model...
  • CASL

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

  • Referenced in 42 articles [sw02635]
  • PSATO: a Distributed/parallel Prover for propositional satisfiability (SAT...
  • BLAST

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

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

  • Referenced in 629 articles [sw03484]
  • PVS is a verification system: that is, a...
  • MUMPS

  • Referenced in 504 articles [sw04013]
  • Solution of large linear systems with symmetric positive...
  • FEAST

  • Referenced in 90 articles [sw04025]
  • The FEAST solver package is a free high...
  • SMT-LIB

  • Referenced in 196 articles [sw04103]
  • SMT-LIB was created with the expectation that...
  • ABAQUS

  • Referenced in 1608 articles [sw04215]
  • The Abaqus Unified FEA product suite offers powerful...
  • ARPACK

  • Referenced in 842 articles [sw04218]
  • ARPACK is a collection of Fortran77 subroutines designed...
  • Yices

  • Referenced in 154 articles [sw04436]
  • Yices is an efficient SMT solver that decides...
  • Why3

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

  • Referenced in 196 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis...
  • LIBSVM

  • Referenced in 1185 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...
  • z3

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

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