Filewatcher File Search File Search
Catalog
Content Search
» » » » »

alt-ergo

Automatic theorem prover dedicated to program verification

Variants:
Alt-Ergo is an automatic theorem prover dedicated to program verification. Alt-Ergo is based on CC(X) a congruence closure algorithm parameterized by an equational theory X. Currently, CC(X) can be instantiated by the empty equational theory and by the linear arithmetics. Alt-Ergo contains also a home made SAT-solver and an instantiation mechanism.

Alt-Ergo is both safe and modular: each box is described by a small set of inference rules and is implemented as an OCaml functor.

Homepage:
Package version:0.94-2
Architecture:kfreebsd-i386
Distribution:Debian
Filename:alt-ergo_0.94-2_kfreebsd-i386.deb

/usr/share/doc/alt-ergo/README

**************************************************************************
*                                                                        *
*     The Alt-Ergo theorem prover                                        *
*     Copyright (C) 2006-2011                                            *
*                                                                        *
*     Sylvain Conchon    
more»

/usr/share/man/man1/alt-ergo.1.gz

Alt-Ergo(1)                                              Alt-Ergo(1)



NAME
       Alt-Ergo  -  An automatic theorem prover dedicated to program
       verification



SYNOPSIS
       alt-ergo [ options ] files



DESCRIPTION
       Alt-Ergo is an automatic theorem prover.  It takes as  inputs
       an arbitrary polymorphic and multi-sorted first-order formula
       written is the Why's syntax.
more»

/usr/share/doc/alt-ergo/changelog.Debian.gz

alt-ergo (0.94-2) unstable; urgency=high

  * Add autoconf to Build-Depends to resolve an FTBFS (Closes: #669539).
  * Setting urgency to "high" to fix the RC bug.

 -- Mehdi Dogguy <mehdi@debian.org>  Mon, 14 May 2012 14:11:48 +0200

alt-ergo (0.94-1) unstable; urgency=low

  * New upstream release.
  * Rebase patches

 -- Mehdi Dogguy <mehdi@debian.org>  Thu, 08 Dec 2011 17:18:57 +0100

alt-ergo
more»

/usr/share/doc/alt-ergo/changelog.gz

version 0.94, December 2nd, 2011
=================================

  o the theory of records repla
more»

/usr/share/doc/alt-ergo/copyright

This package was debianized by Mehdi Dogguy <dogguy@pps.jussieu.fr> on
Fri, 22 Feb 2008 10:09:03 +01
more»

Browse inside alt-ergo_0.94-2_kfreebsd-i386.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (3)  65535+ mirrors

Download alt-ergo_0.94-2_kfreebsd-i386.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com