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

[ Source: alt-ergo  ]

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.

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

Other Packages Related to alt-ergo

• dep: libc6 (>= 2.29)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

• dep: libgmp10 (>= 2:5.1.1)

  Bibliotek til multipræcision i aritmetik

• dep: libnum-ocaml-80ki3

  virtual package provided by libnum-ocaml

• dep: ocaml-base-nox-4.11.1

  virtual package provided by ocaml-base-nox

• dep: zlib1g (>= 1:1.1.4)

  Komprimeringsbibliotek - kørselstid

• sug: why

  Package not available

Download alt-ergo

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
arm64	2.0.0-7+b4	2,260.4 kB	10,856.0 kB	[list of files]