alt-ergo(1) on Linux
The text 52934fcec0f5, as Debian 7 (Wheezy) shipped it.
An automatic theorem prover dedicated to program verification
Flags it lists
-
-h
The text 52934fcec0f5, as Debian 7 (Wheezy) shipped it.
An automatic theorem prover dedicated to program verification
-h