Package: alt-ergo (2.0.0-3)

[ Source: alt-ergo  ]

dimostratore automatico di teoremi dedicato alla verifica dei programmi

Alt-Ergo è un dimostratore automatico di teoremi pensato per l'uso nella verifica dei programmi. È basato su CC(X): un algoritmo di "Congruence Closure" parametrizzato da una teoria di equazioni X. Alter-Ergo ha dimostratori incorporati per logica proposizionale, aritmetica lineare, simboli di funzioni non interpretate, simboli di funzioni associative-commutative, array polimorfi, tipi di record polimorfi definiti dall'utente e tipi per enumerazione polimorfi. Ha una gestione ristretta per il ragionamento su tipi algebrici arbitrari definiti dall'utente, quantificatori del primo ordine e aritmetica non lineare.

Questo pacchetto contiene il dimostratore in forma di eseguibile a riga di comando, così come l'interfaccia grafica.

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

Other Packages Related to alt-ergo

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

  toolkit per l'accessibilità ATK

• dep: libc6 (>= 2.28)

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

• dep: libcairo2 (>= 1.2.4)

  libreria Cairo per grafica 2D vettoriale

• dep: libfontconfig1 (>= 2.12.6)

  libreria generica di configurazione di tipi di carattere - runtime

• dep: libfreetype6 (>= 2.2.1)

  motore per caratteri FreeType 2, libreria condivisa

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

  libreria GDK Pixbuf

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

  libreria GLib di routine in C

• dep: libgmp10

  libreria aritmetica a precisione multipla

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

  libreria per interfacce utente grafiche GTK+

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

  librerie condivise per il widget GTK+ di evidenziazione della sintassi

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

  impaginazione e rendering di testo internazionalizzato

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

  impaginazione e rendering di testo internazionalizzato

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

  impaginazione e rendering di testo internazionalizzato

• dep: ocaml-base-nox-4.05.0

  virtual package provided by ocaml-base-nox

• dep: zlib1g (>= 1:1.1.4)

  libreria di compressione - runtime

• sug: why

  Package not available

Download alt-ergo

Download for all available architectures

Architecture	Package Size	Installed Size	Files
i386	3,464.7 kB	18,788.0 kB	[list of files]