[ 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: libatk1.0-0 (>= 1.12.4) [not armhf, ia64, mips, mipsel, s390, s390x]
- ATK accessibility toolkit
-
- dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc0.1-udeb
-
- dep: libc6 (>= 2.7) [amd64, armel, i386, powerpc, sparc]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
-
- dep: libcairo2 (>= 1.2.4) [not armhf, ia64, mips, mipsel, s390, s390x]
- The Cairo 2D vector graphics library
-
- dep: libfontconfig1 (>= 2.9.0) [not armhf, ia64, mips, mipsel, s390, s390x]
- generic font configuration library - runtime
-
- dep: libfreetype6 (>= 2.2.1) [not armhf, ia64, mips, mipsel, s390, s390x]
- FreeType 2 font engine, shared library files
-
- dep: libgcc1 (>= 1:4.4.0) [armel]
- GCC 支援函式庫
-
- dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [not armhf, ia64, mips, mipsel, s390, s390x]
- GDK Pixbuf library
-
- dep: libglib2.0-0 (>= 2.24.0) [not armhf, ia64, mips, mipsel, s390, s390x]
- GLib library of C routines
-
- dep: libgtk2.0-0 (>= 2.24.0) [not armhf, ia64, mips, mipsel, s390, s390x]
- GTK+ graphical user interface library
-
- dep: libgtksourceview2.0-0 (>= 2.10.0) [not armhf, ia64, mips, mipsel, s390, s390x]
- shared libraries for the GTK+ syntax highlighting widget
-
- dep: liblablgtk2-ocaml-yeug0 [armhf, ia64, mips, mipsel, s390, s390x]
- virtual package provided by liblablgtk2-ocaml
-
- dep: liblablgtksourceview2-ocaml-wz3i5 [armhf, ia64, mips, mipsel, s390, s390x]
- virtual package provided by liblablgtksourceview2-ocaml
-
- dep: libpango1.0-0 (>= 1.14.0) [not armhf, ia64, mips, mipsel, s390, s390x]
- Layout and rendering of internationalized text
-
- 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 |
|---|---|---|---|
| amd64 | 2,387.4 kB | 8,585.0 kB | [list of files] |
| armel | 2,187.5 kB | 6,330.0 kB | [list of files] |
| armhf | 673.8 kB | 3,448.0 kB | [list of files] |
| i386 | 1,971.9 kB | 6,176.0 kB | [list of files] |
| ia64 | 674.9 kB | 3,448.0 kB | [list of files] |
| kfreebsd-amd64 | 2,387.9 kB | 8,539.0 kB | [list of files] |
| kfreebsd-i386 | 1,969.5 kB | 6,123.0 kB | [list of files] |
| mips | 674.5 kB | 3,448.0 kB | [list of files] |
| mipsel | 673.8 kB | 3,448.0 kB | [list of files] |
| powerpc | 2,334.7 kB | 6,698.0 kB | [list of files] |
| s390 | 673.8 kB | 3,448.0 kB | [list of files] |
| s390x | 678.4 kB | 3,474.0 kB | [list of files] |
| sparc | 2,301.8 kB | 6,731.0 kB | [list of files] |