Paquet : alt-ergo (2.0.0-7 et autres)

[ Paquet source : alt-ergo  ]

démonstrateur automatique dédié à la vérification de programme

Alt-Ergo est un démonstrateur de théorème automatique dédié à la vérification de programme. Il est basé sur CC(X), un algorithme de clôture de congruence paramétré par une théorie équationnelle X. Alt-Ergo possède des démonstrateurs intégrés pour la logique propositionnelle, l’arithmétique linéaire, les symboles de fonctions non interprétées, les symboles de fonctions associatives/commutatives, des tableaux polymorphes, les types d’enregistrements polymorphes personnalisés et des types d’énumération polymorphes. Il possède une gestion restreinte pour raisonner sur des types d’algèbre personnalisés, des quantifieurs de premier ordre et de l’arithmétique non linéaire.

Ce paquet fournit le démonstrateur avec une interface en ligne de commande.

Étiquettes: Mis en œuvre en: OCaml, Interface utilisateur: Graphical User Interface, interface::x11, role::program, Boîte à outils d'interface utilisateur: GTK

Autres paquets associés à alt-ergo

• dep: libc6 (>= 2.29) [non armel, mips64el, mipsel]

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

• dep: libgmp10 (>= 2:5.1.1) [non armel, mips64el, mipsel]

  Bibliothèque arithmétique à multi-précision

• dep: libnum-ocaml-3st20 [armel, mips64el, mipsel]

  paquet virtuel fourni par libnum-ocaml

• dep: libnum-ocaml-80ki3 [amd64, arm64, ppc64el]

  paquet virtuel fourni par libnum-ocaml

• dep: libnum-ocaml-hcwe8 [s390x]

  paquet virtuel fourni par libnum-ocaml

• dep: libnum-ocaml-hqq52 [i386]

  paquet virtuel fourni par libnum-ocaml

• dep: libzarith-ocaml-6tqd3 [armel, mips64el, mipsel]

  paquet virtuel fourni par libzarith-ocaml

• dep: libzip-ocaml-kb663 [armel, mips64el, mipsel]

  paquet virtuel fourni par libzip-ocaml

• dep: ocaml-base-nox-4.11.1

  paquet virtuel fourni par ocaml-base-nox

• dep: zlib1g (>= 1:1.1.4) [non armel, mips64el, mipsel]

  Bibliothèque de compression - binaires

• sug: why

  Paquet indisponible

Télécharger alt-ergo

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	2.0.0-7+b4	1 967,5 ko	9 736,0 ko	[liste des fichiers]
arm64	2.0.0-7+b4	2 260,4 ko	10 856,0 ko	[liste des fichiers]
armel	2.0.0-7+b4	282,7 ko	2 071,0 ko	[liste des fichiers]
i386	2.0.0-7+b4	1 850,7 ko	9 105,0 ko	[liste des fichiers]
mips64el	2.0.0-7+b4	282,8 ko	2 071,0 ko	[liste des fichiers]
mipsel	2.0.0-7+b4	282,8 ko	2 071,0 ko	[liste des fichiers]
ppc64el	2.0.0-7+b4	2 085,2 ko	10 567,0 ko	[liste des fichiers]
s390x	2.0.0-7+b4	2 110,8 ko	11 119,0 ko	[liste des fichiers]