simplify2why1
A multi-language multi-prover verification tool
Part of why(1).
Usage
why [options]
files
Overview
why is a verification tool. It takes annotated programs as input (in ML or C syntax) and outputs verification conditions for several proof assistants (Coq, PVS, HOL Light, Mizar) and decision procedures (haRVey, Simplify).
Options
-
-h -
Help. Will give you the full list of command line options.
History
- Debian 8 (Jessie) to Debian 6.0 (Squeeze): the text shown here
- Debian 5.0 (Lenny)