• jMocha

  • Referenced in 4 articles [sw24777]
  • proof manager that aids compositional and assume-guarantee reasoning; and (6) SLANG (Scripting LANGuage...
  • PRISM

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

  • Referenced in 11 articles [sw02824]
  • ECDAR: an environment for compositional design and analysis...
  • CPLEX

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

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

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

  • Referenced in 38 articles [sw04622]
  • Reads as input both: CNF constraints, PB constraints...
  • SIMPLIFY

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

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

  • Referenced in 10 articles [sw07533]
  • ComFoRT Reasoning Framework The Component Formal Reasoning Technology...
  • YASM

  • Referenced in 13 articles [sw09470]
  • Yasm: A Software Model-Checker for Verification and...
  • 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...
  • MOCHA

  • Referenced in 92 articles [sw12935]
  • MOCHA: Modularity in Model Checking. MOCHA is a...
  • Mercator

  • Referenced in 15 articles [sw13198]
  • Mercator: A Scalable, Extensible Web Crawler. This paper...
  • UNITY

  • Referenced in 185 articles [sw13461]
  • Simulation model development and analysis in UNITY. We...
  • Murphi

  • Referenced in 16 articles [sw22149]
  • Murphi Model Checker. The Murphi tool was originally...
  • LEVER

  • Referenced in 4 articles [sw25001]
  • LEVER: a tool for learning based verification. ...