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 26.59ms.

wippsaege.name | brieftaubenversteigerung.com | Mach es selbst!