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 (5)
-
fm-simplex-plugin
< "1.30" - frama-c
-
lambdapi
< "2.2.1" -
profiler-plugin
< "1.30" -
satML-plugin
= "1.01"
Conflicts
None
On This Page