all options
squeeze  ] [  wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]
[ Source: alt-ergo  ]

Package: alt-ergo (0.91-2)

Links for alt-ergo

Screenshot

Debian Resources:

Download Source Package alt-ergo:

Maintainers:

External Resources:

Similar packages:

prouveur de théorème automatique dédié à la vérification de programme

Alt-Ergo est un prouveur automatique de théorème dédié à la vérification de programme. Alt-Ergo est basé sur CC(X), un algorithme de close de congruence paramétré par une théorie équationnelle X. Actuellement, CC(X) peut être instancié par la théorie équationnelle vide et par les arithmétiques linéaires. Alt-Ergo contient également un solveur SAT fait maison et un mécanisme d'instanciation.

Alt-Ergo est à la fois sûr et modulaire : chaque boîte est décrite par un petit ensemble de règles d'inférence et est implémenté en tant que functor OCaml.

Tags: Implemented in: OCaml, Role: Program

Other Packages Related to alt-ergo

  • depends
  • recommends
  • suggests
  • enhances

Download alt-ergo

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 591.9 kB1,820.0 kB [list of files]
armel 162.6 kB880.0 kB [list of files]
i386 455.3 kB1,252.0 kB [list of files]
ia64 163.1 kB880.0 kB [list of files]
kfreebsd-amd64 591.3 kB1,800.0 kB [list of files]
kfreebsd-i386 454.8 kB1,240.0 kB [list of files]
mips 162.7 kB880.0 kB [list of files]
mipsel 162.6 kB880.0 kB [list of files]
powerpc 554.9 kB1,408.0 kB [list of files]
s390 162.6 kB880.0 kB [list of files]
sparc 551.8 kB1,424.0 kB [list of files]