Results 1 to 20 of 32
Sort by:

  • UPPAAL CORA
  • Referenced in 9 articles [sw25660]
  • branch of UPPAAL for Cost Optimal Reachability Anslysis developed by the UPPAAL team as part ... CORA. In particular, it is possible to annotate the model with an estimate...

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

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

  • Scilab
  • Referenced in 166 articles [sw00834]
  • Scilab includes hundreds of mathematical functions. It has...

  • ML

  • Referenced in 514 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...

  • jMoped
  • Referenced in 10 articles [sw01486]
  • jMoped: A Java bytecode checker based on Moped...

  • ELAN
  • Referenced in 108 articles [sw02179]
  • The ELAN system provides an environment for specifying...

  • BLAST
  • Referenced in 125 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...

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

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

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

  • SDPT3
  • Referenced in 609 articles [sw04009]
  • This software is designed to solve conic programming...

  • SMT-LIB
  • Referenced in 182 articles [sw04103]
  • SMT-LIB was created with the expectation that...

  • Why3
  • Referenced in 128 articles [sw04438]
  • Why3 is a platform for deductive program verification...

  • JML
  • Referenced in 188 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...

  • Spec#
  • Referenced in 120 articles [sw04598]
  • The Spec# programming system is a new attempt...

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

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

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