wszystkie opcje
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]
[ Pakiet źródłowy: alt-ergo  ]

Pakiet: alt-ergo (1.30-1)

Odnośniki dla alt-ergo

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego alt-ergo:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

Automatic theorem prover dedicated to program verification

Alt-Ergo is an automatic theorem prover geared towards application in program verification. It is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Alt-Ergo has built-in provers for propositional logic, linear arithmetic, uninterpreted function symbols, associative-commutative function symbols, polymorphic arrays, user-defined polymorphic record types and polymorphic enumeration types. It has restricted support for reasoning over arbitrary user-defined algebraic types, first-order quantifiers, and non-linear arithmetic.

This package contains the prover as a command-line executable as well as the graphical interface.

Znaczniki: Zaimplementowane w: OCaml, Rola: Program, Pakiet narzędziowy interfejsu: GTK

Inne pakiety związane z alt-ergo

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie alt-ergo

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
armel 2 209,2 KiB11 602,0 KiB [lista plików]