• CPLEX

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

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

  • Referenced in 18 articles [sw04136]
  • LiQuor is a tool for verifying probabilistic reactive...
  • YALMIP

  • Referenced in 897 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • MPT

  • Referenced in 212 articles [sw04732]
  • The Multi-Parametric Toolbox (MPT) is a free...
  • SIMPLIFY

  • Referenced in 137 articles [sw04976]
  • Extended static checking. This paper provides an overview...
  • ESC/Java

  • Referenced in 134 articles [sw07217]
  • The Extended Static Checker for Java version 2...
  • JPAX

  • Referenced in 29 articles [sw09906]
  • An overview of the runtime verification tool Java...
  • FDR2

  • Referenced in 58 articles [sw11466]
  • FDR2 is a refinement checker for establishing properties...
  • PIPER

  • Referenced in 28 articles [sw11478]
  • Types as models, model checking message-passing programs...
  • MOCHA

  • Referenced in 89 articles [sw12935]
  • MOCHA: Modularity in Model Checking. MOCHA is a...
  • UNITY

  • Referenced in 174 articles [sw13461]
  • Simulation model development and analysis in UNITY. We...
  • Metropolis

  • Referenced in 17 articles [sw16265]
  • Metropolis: an integrated electronic system design environment. oday...