Paket: alt-ergo (2.0.0-3)

[ Quellcode: alt-ergo  ]

Automatischer Theorembeweiser zur Programmverifikation

Alt-Ergo ist ein automatischer Theorembeweiser, ausgerichtet auf die Anwendung zur Programmverifikation. Er basiert auf CC(X), einem Kongruenzabschluss-Algorithmus parametrisiert durch eine Gleichungstheorie X. Alt-Ergo verfügt über eingebaute Beweiser für Aussagenlogik, lineare Arithmetik, uninterpretierte Funktionssymbole, assoziativ-kommutative Funktionssymbole, polymorphe Arrays, benutzerdefinierte polymorphe Record-Typen und polymorphe Aufzählungstypen. Er bietet eingeschränkte Unterstützung für die Argumentation über beliebige benutzerdefinierte algebraische Typen, Quantoren erster Ordnung und nichtlineare Arithmetik.

Dieses Paket enthält den Beweiser als Befehlszeilenwerkzeug und als Version mit grafischer Oberfläche.

Markierungen: Implementiert in: OCaml, Benutzer-Schnittstellen: Graphical User Interface, interface::x11, role::program, GUI-Baukasten: GTK

Andere Pakete mit Bezug zu alt-ergo

• dep: libatk1.0-0 (>= 1.12.4)

  ATK - Werkzeugsammlung zur Barrierefreiheit

• dep: libc6 (>= 2.28)

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

• dep: libcairo2 (>= 1.2.4)

  2D-Vektorgrafikbibliothek Cairo

• dep: libfontconfig1 (>= 2.12.6)

  Generische Schriftkonfigurationsbibliothek - Laufzeit

• dep: libfreetype6 (>= 2.2.1)

  Schrift-Engine FreeType 2, Laufzeitbibliothek

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

  Bibliothek GDK-PixBuf

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

  GLib - Bibliothek von C-Routinen

• dep: libgmp10

  Mehrfachgenaue, arithmetische Bibliothek

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

  GTK+ - Bibliothek für grafische Benutzeroberflächen

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

  Laufzeitbibliothek für das GTK+-Widget für Syntaxmarkierung

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

  Gestaltung und Anzeige internationalisierten Textes

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

  Gestaltung und Anzeige internationalisierten Textes

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

  Gestaltung und Anzeige internationalisierten Textes

• dep: ocaml-base-nox-4.05.0

  virtuelles Paket, bereitgestellt durch ocaml-base-nox

• dep: zlib1g (>= 1:1.1.4)

  Kompressions-Bibliothek - Laufzeit

• sug: why

  Paket nicht verfügbar

alt-ergo herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
i386	3.464,7 kB	18.788,0 kB	[Liste der Dateien]