all options
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Source: alt-ergo  ]

Package: alt-ergo (2.0.0-3 and others)

Links for alt-ergo

Screenshot

Debian Resources:

Download Source Package alt-ergo:

Maintainers:

External Resources:

Similar packages:

Automatisk teorem-bevisfører dedikeret til programverifikation

Alt-Ergo er en automatisk teorem-bevisfører dedikeret til programverifikation. Alt-Ergo er baseret på CC(X), en kongruent lukkealgoritme som er parameteriseret af en ligningsmæssig teori X. Alt-Ergo har indbyggede bevisførere for sætningslogik, lineær aritmetik, ufortolkede funktionssymboler, associative-kommutative funktionssymboler, polymorfiske arrayer, brugerdefinerede polymorfiske posttyper og polymorfiske nummereringstyper. Programmet har begrænset understøttelse for belysning af arbitrære brugerdefinerede algebraiske typer, første grads kvantorer og ikkelineær aritmetik.

Denne pakke indeholder bevisføreren som en kørbar fil for kommandolinjen samt den grafiske brugerflade.

Tags: Implemented in: OCaml, User Interface: Graphical User Interface, interface::x11, role::program, Interface Toolkit: GTK

Other Packages Related to alt-ergo

  • depends
  • recommends
  • suggests
  • enhances

Download alt-ergo

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 2.0.0-3 395.7 kB4,505.0 kB [list of files]
amd64 2.0.0-3 3,945.0 kB21,234.0 kB [list of files]
arm64 2.0.0-3 4,856.7 kB24,922.0 kB [list of files]
armel 2.0.0-3 395.6 kB4,505.0 kB [list of files]
hppa (unofficial port) 2.0.0-3 395.5 kB4,504.0 kB [list of files]
i386 2.0.0-3 3,464.7 kB18,788.0 kB [list of files]
m68k (unofficial port) 2.0.0-3 395.6 kB4,505.0 kB [list of files]
mips 2.0.0-3 395.6 kB4,505.0 kB [list of files]
mips64el 2.0.0-3 395.7 kB4,505.0 kB [list of files]
mipsel 2.0.0-3 395.5 kB4,505.0 kB [list of files]
powerpcspe (unofficial port) 2.0.0-3 395.7 kB4,505.0 kB [list of files]
ppc64 (unofficial port) 1.30+dfsg1-2 1,377.6 kB7,189.0 kB [list of files]
ppc64el 2.0.0-3 4,361.5 kB23,616.0 kB [list of files]
riscv64 (unofficial port) 2.0.0-3 395.5 kB4,505.0 kB [list of files]
s390x 2.0.0-3 4,522.1 kB25,408.0 kB [list of files]
sh4 (unofficial port) 2.0.0-3 395.5 kB4,505.0 kB [list of files]
sparc64 (unofficial port) 2.0.0-3 395.5 kB4,505.0 kB [list of files]
x32 (unofficial port) 2.0.0-3 395.6 kB4,505.0 kB [list of files]