Paquet : alt-ergo (2.0.0-3)

[ 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és, 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 des interfaces en ligne de commande et graphique.

É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: libatk1.0-0 (>= 1.12.4)

  boîte à outils d'accessibilité ATK

• dep: libc6 (>= 2.28)

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

• dep: libcairo2 (>= 1.2.4)

  Bibliothèque graphique vectorielle Cairo 2D

• dep: libfontconfig1 (>= 2.12.6)

  Bibliothèque de configuration de polices générique - exécutables

• dep: libfreetype6 (>= 2.2.1)

  moteur de fontes FreeType 2, fichiers de bibliothèques partagées

• dep: libgdk-pixbuf2.0-0 (>= 2.22.0)

  bibliothèque GDK Pixbuf

• dep: libglib2.0-0 (>= 2.35.9)

  bibliothèque GLib de routines C

• dep: libgmp10

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

• dep: libgtk2.0-0 (>= 2.24.32)

  bibliothèque d'interface graphique utilisateur GTK+

• dep: libgtksourceview2.0-0 (>= 2.10.0)

  bibliothèques partagées pour le widget de coloration syntaxique GTK+

• dep: libpango-1.0-0 (>= 1.14.0)

  Mise en place et rendu de texte internationalisé

• dep: libpangocairo-1.0-0 (>= 1.14.0)

  Mise en place et rendu de texte internationalisé

• dep: libpangoft2-1.0-0 (>= 1.14.0)

  Mise en place et rendu de texte internationalisé

• dep: ocaml-base-nox-4.05.0

  paquet virtuel fourni par ocaml-base-nox

• dep: zlib1g (>= 1:1.1.4)

  Bibliothèque de compression - binaires

• sug: why

  Paquet indisponible

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	3 945,0 ko	21 234,0 ko	[liste des fichiers]
arm64	4 856,7 ko	24 922,0 ko	[liste des fichiers]
i386	3 464,7 ko	18 788,0 ko	[liste des fichiers]