toutes les options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Paquet source : alt-ergo  ]

Paquet : alt-ergo (0.91-2)

Liens pour alt-ergo

Screenshot

Ressources Debian :

Télécharger le paquet source alt-ergo :

Responsables :

Ressources externes :

Paquets similaires :

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.

Étiquettes: Mis en œuvre en: OCaml, Rôle: Programme

Autres paquets associés à alt-ergo

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger alt-ergo

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 591,9 ko1 820,0 ko [liste des fichiers]
armel 162,6 ko880,0 ko [liste des fichiers]
i386 455,3 ko1 252,0 ko [liste des fichiers]
ia64 163,1 ko880,0 ko [liste des fichiers]
kfreebsd-amd64 591,3 ko1 800,0 ko [liste des fichiers]
kfreebsd-i386 454,8 ko1 240,0 ko [liste des fichiers]
mips 162,7 ko880,0 ko [liste des fichiers]
mipsel 162,6 ko880,0 ko [liste des fichiers]
powerpc 554,9 ko1 408,0 ko [liste des fichiers]
s390 162,6 ko880,0 ko [liste des fichiers]
sparc 551,8 ko1 424,0 ko [liste des fichiers]