alt-ergo(1) on Linux
The text 29122707c659, as Debian 6.0 (Squeeze) shipped it.
An automatic theorem prover dedicated to program verification
Flags it lists
-
-arrays -
-h -
-pairs