• Coq

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

  • Referenced in 594 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Magma

  • Referenced in 2716 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Matlab

  • Referenced in 11446 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • Sostools

  • Referenced in 262 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • PRISM

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

  • Referenced in 150 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • SeDuMi

  • Referenced in 1150 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • YALMIP

  • Referenced in 867 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Isar

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

  • Referenced in 32 articles [sw04605]
  • Counterexample-guided abstraction refinement (CEGAR) has been en...
  • CafeOBJ

  • Referenced in 163 articles [sw06232]
  • CafeOBJ as a tool for behavioral system verification...
  • Maude

  • Referenced in 651 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • BPEL2oWFN

  • Referenced in 27 articles [sw06956]
  • GNU BPEL2oWFN translates a web service expressed in...
  • clasp

  • Referenced in 90 articles [sw07095]
  • clasp: A conflict-driven answer set solver. clasp...
  • CESAR

  • Referenced in 154 articles [sw08510]
  • Specification and verification of concurrent systems in CESAR...
  • Z

  • Referenced in 274 articles [sw10291]
  • Using Z. Specification, refinement, and proof. The book...
  • LTL2BA

  • Referenced in 95 articles [sw10956]
  • Fast LTL to Büchi automata translation. We present...
  • SatAbs

  • Referenced in 37 articles [sw12804]
  • SATABS: SAT-based predicate abstraction for ANSI-C...