• Isabelle/HOL

  • Referenced in 978 articles [sw01569]
  • which includes proving the correctness of computer hardware or software and proving properties of computer...
  • Isabelle

  • Referenced in 622 articles [sw00454]
  • which includes proving the correctness of computer hardware or software and proving properties of computer...
  • ASTREE

  • Referenced in 113 articles [sw13704]
  • from synchronous specifications, producing a correctness proof for complex software without any false alarm...
  • SLAM

  • Referenced in 153 articles [sw03136]
  • designing interfaces and software that ensure reliable and correct functioning. Static Driver Verifier...
  • KIV

  • Referenced in 51 articles [sw10060]
  • dynamic logic, for reasoning about the correctness of software systems. Several other object logics have...
  • Isabelle/ZF

  • Referenced in 62 articles [sw04973]
  • which includes proving the correctness of computer hardware or software and proving properties of computer...
  • MizarMode

  • Referenced in 18 articles [sw01973]
  • developed in the traditional “write-compile-correctsoftware programming loop. While this method...
  • SIMPLIFY

  • Referenced in 140 articles [sw04976]
  • increase software productivity by providing practical static checking tools for programmers. In general, static checking ... such as testing. Since the cost of correcting an error is reduced ... static checking has the potential to increase software productivity...
  • JUnit

  • Referenced in 31 articles [sw07262]
  • practical approach to increasing the correctness and quality of software; for example, the Extreme Programming ... checker to decide whether methods are working correctly, thus automating the writing of unit test...
  • Algorithm 679

  • Referenced in 63 articles [sw12583]
  • exists or are not required. The test software aims to verify that specialized implementations meet ... Level 2 BLAS that implementations are correctly installed...
  • TetGen

  • Referenced in 162 articles [sw04046]
  • based algorithms which have theoretical guarantee of correctness. It can robustly handle arbitrary complex ... other related areas. It describes the key software components of TetGen, including an efficient tetrahedral...
  • UCLID

  • Referenced in 25 articles [sw04657]
  • tool for analyzing the correctness of models of hardware and software systems. UCLID...
  • WoLFram

  • Referenced in 15 articles [sw02075]
  • application. A framework that automatically transforms PLC software to SystemC is presented. The integrated flow ... applied to prove the correctness of the software. It is shown, that modern SAT solvers...
  • EXACUS

  • Referenced in 24 articles [sw02738]
  • linear geometry in software libraries. Our goals are efficiency, correctness, completeness, clarity of the design...
  • relibpls8

  • Referenced in 31 articles [sw37142]
  • macro relibpls8: Software for implementing Rosner B, Spiegelman D, Willett WC. Correction of logistic regression...
  • Metropolis

  • Referenced in 17 articles [sw16265]
  • designs, the risk that the software will not function correctly increases exponentially. The Metropolis project...
  • PIONER

  • Referenced in 8 articles [sw09454]
  • models are incorporated in the PIONER software. The correctness of crack path determination is examined...
  • mfem

  • Referenced in 44 articles [sw22316]
  • correct treatment of mexed boundary conditions. Numerical examples illustrate some applications of the provided software...
  • TuLiP

  • Referenced in 9 articles [sw20173]
  • synthesis of embedded control software that is provably correct with respect to an expressive subset...
  • Why3

  • Referenced in 130 articles [sw04438]
  • write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction ... allowing to use Why3 as a software library. An important emphasis is put on modularity...