Package: alt-ergo (0.94-2 and others)

[ Source: alt-ergo  ]

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.

Tags: Implemented in: OCaml, Role: Program, Interface Toolkit: GTK

Other Packages Related to alt-ergo

• dep: libatk1.0-0 (>= 1.12.4) [amd64, armel, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  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: libc0.3 (>= 2.13-31) [hurd-i386]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc0.3-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) [amd64, armel, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  The Cairo 2D vector graphics library

• dep: libfontconfig1 (>= 2.9.0) [amd64, armel, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  generic font configuration library - runtime

• dep: libfreetype6 (>= 2.2.1) [amd64, armel, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  FreeType 2 font engine, shared library files

• dep: libgcc1 (>= 1:4.4.0) [armel]

  GCC support library

• dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [amd64, armel, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  GDK Pixbuf library

• dep: libglib2.0-0 (>= 2.24.0) [amd64, armel, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  GLib library of C routines

• dep: libgtk2.0-0 (>= 2.24.0) [amd64, armel, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  GTK+ graphical user interface library

• dep: libgtksourceview2.0-0 (>= 2.10.0) [amd64, armel, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  shared libraries for the GTK+ syntax highlighting widget

• dep: liblablgtk2-ocaml-yeug0 [alpha, armhf, ia64, mips, mipsel, s390, s390x, sh4, sparc64]

  virtual package provided by liblablgtk2-ocaml

• dep: liblablgtksourceview2-ocaml-wz3i5 [alpha, armhf, ia64, mips, mipsel, s390, s390x, sh4, sparc64]

  virtual package provided by liblablgtksourceview2-ocaml

• dep: libpango1.0-0 (>= 1.14.0) [amd64, armel, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  Layout and rendering of internationalized text

• dep: ocaml-base-nox-3.11.2 [hppa, powerpcspe]

  virtual package provided by ocaml-base-nox

• dep: ocaml-base-nox-3.12.1 [not hppa, powerpcspe]

  virtual package provided by ocaml-base-nox

• sug: why

  Software verification tool

Download alt-ergo

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	0.94-2	679.4 kB	3,474.0 kB	[list of files]
amd64	0.94-2	2,387.4 kB	8,585.0 kB	[list of files]
armel	0.94-2	2,187.5 kB	6,330.0 kB	[list of files]
armhf	0.94-2	673.8 kB	3,448.0 kB	[list of files]
hppa	0.91-2	162.6 kB	880.0 kB	[list of files]
hurd-i386	0.94-2	1,970.2 kB	6,173.0 kB	[list of files]
i386	0.94-2	1,971.9 kB	6,176.0 kB	[list of files]
ia64	0.94-2	674.9 kB	3,448.0 kB	[list of files]
kfreebsd-amd64	0.94-2	2,387.9 kB	8,539.0 kB	[list of files]
kfreebsd-i386	0.94-2	1,969.5 kB	6,123.0 kB	[list of files]
mips	0.94-2	674.5 kB	3,448.0 kB	[list of files]
mipsel	0.94-2	673.8 kB	3,448.0 kB	[list of files]
powerpc	0.94-2	2,334.7 kB	6,698.0 kB	[list of files]
powerpcspe (unofficial port)	0.91-2	163.1 kB	880.0 kB	[list of files]
s390	0.94-2	673.8 kB	3,448.0 kB	[list of files]
s390x	0.94-2	678.4 kB	3,474.0 kB	[list of files]
sh4 (unofficial port)	0.94-2	674.8 kB	3,448.0 kB	[list of files]
sparc	0.94-2	2,301.8 kB	6,731.0 kB	[list of files]
sparc64 (unofficial port)	0.94-1	674.6 kB	3,447.0 kB	[list of files]