alt-ergo (1) Linux Manual Page

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>

See Also

Alt-Ergo web site: http://alt-ergo.lri.fr