INKA
The Inductive Theorem Prover
KIV
The Karlsruhe Interactive Verifier
PADS
The Proof Assistence for the Development of Software
VSE
The Verification Support Environment
Dieter Hutter
Aug 05, 1996.