Homepage > Man Pages > Category > General Commands
Homepage > Man Pages > Name > W

why

man page of why

why: A multi-language multi-prover verification tool

NAME

why - A multi-language multi-prover verification tool

SYNOPSIS

why [ options ] files

DESCRIPTION

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.
AUTHORS
Jean-Christophe Filliatre <filliatr@lri.fr>

SEE ALSO

Why web site: //why.lri.fr/ March, 2002 WHY(1)
 
 
 

Copyright © 2011–2018 by topics-of-interest.com . All rights reserved. Hosted by all-inkl.
Contact · Imprint · Privacy

Page generated in 30.72ms.

holzspalter.name | meinehunde.net | roboter.name