• Why3

  • Referenced in 126 articles [sw04438]
  • used as an intermediate language for the verification of C, Java, or Ada programs. Why3 ... platform. Among the new features are: numerous extensions to the input language, a new architecture...
  • VERSOFT

  • Referenced in 21 articles [sw10881]
  • collection of verification files for computing verified solutions of various numerical linear algebraic problems having...
  • magic

  • Referenced in 3 articles [sw24026]
  • magic square knowledge, including direct numerical verification of properties of magic squares (such as recent...
  • PolyPaver

  • Referenced in 3 articles [sw08771]
  • work is the verification of tight functional properties of numerical programs, such as showing that ... engineers writing such programs will benefit from verification tools that support an expressive specification language ... work provides a new method for verification of numerical software, supporting a substantially more expressive ... claim of expressivity, we outline the verification of four example programs, including the integration example...
  • SYMBA

  • Referenced in 11 articles [sw08528]
  • solvers has created numerous uses for them in software verification, program synthesis, functional programming, refinement...
  • WSAT

  • Referenced in 37 articles [sw01022]
  • application of model checking: (1) Numerous competing web service standards, most of which lack formal ... composition. (2) Asynchronous messaging makes most interesting verification problems undecidable, even when XML message contents...
  • Eldarica

  • Referenced in 2 articles [sw09748]
  • verification toolkit for numerical transition systems. This paper presents a publicly available toolkit ... benchmark suite for rigorous verification of Integer Numerical Transition Systems (INTS), which can be viewed ... formulas. We present Flata and Eldarica, two verification tools for INTS. The Flata system...
  • Ariel

  • Referenced in 2 articles [sw24050]
  • Ariel was designed primarily for the verification of numerical programs written in a subset...
  • ETPS

  • Referenced in 152 articles [sw06302]
  • automated theorem proving include hardware and software verification, partial automation of various mathematical activities, promoting ... used to maintain and process numerical or letter grades for any course. For more information...
  • MathSAT5

  • Referenced in 44 articles [sw09569]
  • tool for formal verification (and other applications). MathSAT5 is the latest version of the tool ... freely available, and it is used in numerous internal projects, as well...
  • RealCertify

  • Referenced in 3 articles [sw28191]
  • applied to numerous problems coming from engineering sciences, program verification and cyber-physical systems...
  • Gappa

  • Referenced in 17 articles [sw04885]
  • help verifying and formally proving properties on numerical programs dealing with floating-point or fixed ... backend prover for the Why software verification plateform or as an automatic tactic...
  • Breach

  • Referenced in 18 articles [sw20822]
  • Breach, a toolbox for verification and parameter synthesis of hybrid systems. We describe Breach ... trajectories. It relies on an efficient numerical solver of ordinary differential equations that can also...
  • DINOSOARS

  • Referenced in 3 articles [sw24972]
  • numerical components and methods implemented in this code, together with a detailed verification and validation...
  • MASA

  • Referenced in 2 articles [sw18192]
  • verification of software used for solving a large class of problems stemming from numerical methods ... discuss the process of scientific software verification, manufactured solution generation using symbolic manipulation with computer...
  • Albany/FELIX

  • Referenced in 5 articles [sw17196]
  • partial differential equations and boundary conditions, the numerical methods chosen to discretize the ice flow ... with their implementation. The results of several verification studies of the model accuracy are presented...
  • Algorithm 916

  • Referenced in 8 articles [sw20212]
  • present a MATLAB function for the numerical evaluation of the Faddeyeva function ... accuracy and computational time and vice versa. Verification of the flexibility, reliability, and superior accuracy...
  • TOKAM-3D

  • Referenced in 9 articles [sw02765]
  • anomalous diffusion to fully established turbulence. Specific numerical schemes have been developed which can solve ... application of the code as well as verification results are also presented...
  • interval toolbox

  • Referenced in 1 article [sw14907]
  • solved with traditional numeric methods, such as: global and guaranteed optimization; verification of a control ... range of a control loop (stability radius); numerical resolution of nonlinear equality/inequality systems, with...