package alt-ergo
Alt-Ergo, an SMT Solver for Software Verification
Install
Dune Dependency
Authors
Maintainers
Sources
alt-ergo-1.01.tar.gz
sha256=d51a9833acf265d475408cde04e9beb75f950355580b9c73292ffbfbebf280eb
md5=9fbf8e42bec2a171dc9422f9dcea9519
Description
Alt-Ergo is an automatic prover of mathematical formulas used behind software verification tools such as Frama-C, SPARK, Why3, Atelier-B and Caveat.
This package provides the command-line version of Alt-Ergo.
usage: alt-ergo [options] <file.why>
Published: 18 Feb 2016
Dev Dependencies
None
Used by (7)
-
fm-simplex-plugin
< "1.30" -
frama-c
>= "13.1" -
lambdapi
>= "2.0.0" & < "2.2.1" -
profiler-plugin
< "1.30" -
satML-plugin
= "1.01" -
why
>= "2.32" & < "2.35" -
why3
< "0.85"
Conflicts
None
On This Page