[ Source: alt-ergo ]
Package: alt-ergo (0.94-2)
Links for alt-ergo
Debian Resources:
Download Source Package alt-ergo:
Maintainers:
External Resources:
- Homepage [alt-ergo.lri.fr]
Similar packages:
Automatic theorem prover dedicated to program verification
Alt-Ergo is an automatic theorem prover dedicated to program verification. Alt-Ergo is based on CC(X) a congruence closure algorithm parameterized by an equational theory X. Currently, CC(X) can be instantiated by the empty equational theory and by the linear arithmetics. Alt-Ergo contains also a home made SAT-solver and an instantiation mechanism.
Alt-Ergo is both safe and modular: each box is described by a small set of inference rules and is implemented as an OCaml functor.
Other Packages Related to alt-ergo
|
|
|
-
- dep: liblablgtk2-ocaml-yeug0
- virtual package provided by liblablgtk2-ocaml
-
- dep: liblablgtksourceview2-ocaml-wz3i5
- virtual package provided by liblablgtksourceview2-ocaml
-
- dep: ocaml-base-nox-3.12.1
- virtual package provided by ocaml-base-nox
-
- sug: why
- Software verification tool
Download alt-ergo
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| ia64 | 674.9 kB | 3,448.0 kB | [list of files] |