Man Pages in alt-ergo

Section 1: Executable programs or shell commands

alt-ergo.1

An automatic theorem prover dedicated to program verification