debian man page for why

Query: why

OS: debian

Section: 1

Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar

why(1)							      General Commands Manual							    why(1)

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: http://why.lri.fr/ March, 2002 why(1)
Related Man Pages
bib2bib(1) - debian
checker(1) - debian
coqdoc(1) - debian
coqtop(1) - debian
ssl_get_verify_result(3) - opendarwin
Similar Topics in the Unix Linux Community
Why does this occur? *** glibc detected *** malloc(): memory corruption: 0x10013ff8 ***
Why can't I save a VI file after entering data?
Towards a Solution for my Personal 2k Problem, or: Why 2k?
Why do I receive Program received signal SIGABRT, Aborted?
awk - Why can't value of awk variables be passed to external functions ?