Results 1 to 18 of 18
Sort by:

  • 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...