• Coq

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

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

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

  • Referenced in 15 articles [sw00859]
  • We present a uniform signature-based approach to...
  • PRISM

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

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

  • Referenced in 52 articles [sw01496]
  • mCRL2 stands for micro Common Representation Language 2...
  • MoDeST

  • Referenced in 32 articles [sw01544]
  • MoDeST --- a modelling and description language for stochastic...
  • SPIN

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

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

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

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

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

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

  • Referenced in 298 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • GLPK

  • Referenced in 172 articles [sw04560]
  • The GLPK (GNU Linear Programming Kit) package is...
  • YALMIP

  • Referenced in 962 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Uppaal

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