• PoMMaDe

  • Referenced in 2 articles [sw37540]
  • extension of CTL (resp. LTL) with variables, quantifiers, and predicates over the stack (needed...
  • Coq

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

  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

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

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

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

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

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

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

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

  • Referenced in 67 articles [sw07084]
  • ProB: an automated analysis toolset for the B...
  • CESAR

  • Referenced in 161 articles [sw08510]
  • Specification and verification of concurrent systems in CESAR...
  • CVC4

  • Referenced in 124 articles [sw09485]
  • CVC4 is an efficient open-source automatic theorem...
  • Z

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

  • Referenced in 32 articles [sw20098]
  • GraphLog: a visual formalism for real life recursion...
  • CaDiCaL

  • Referenced in 24 articles [sw31645]
  • CaDiCaL Simplified Satisfiability Solver: The goal of CaDiCaL...