alt-ergo (1) - Linux Manuals
alt-ergo: An automatic theorem prover dedicated to program
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.
OPTIONS
- -h
-
Help. Will give you the full list of command line options.
AUTHORS
Sylvain Conchon <conchon [at] lri.fr> and Evelyne Contejean <contejea [at] lri.fr>