GNU.WIKI: The GNU/Linux Knowledge Base
[HOME] [PHP Manual] [HowTo] [ABS] [MAN1] [MAN2] [MAN3] [MAN4] [MAN5] [MAN6] [MAN7] [MAN8] [MAN9]
[0-9] [Aa] [Bb] [Cc] [Dd] [Ee] [Ff] [Gg] [Hh] [Ii] [Jj] [Kk] [Ll] [Mm] [Nn] [Oo] [Pp] [Qq] [Rr] [Ss] [Tt] [Uu] [Vv] [Ww] [Xx] [Yy] [Zz]
why - A multi-language multi-prover verification tool
why [ options ] files
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
-h Help. Will give you the full list of command line options.
Jean-Christophe Filliatre <email@example.com>
Why web site: http://why.lri.fr/
March, 2002 why(1)
All copyrights belong to their respective owners. Other content (c) 2014-2018, GNU.WIKI. Please report site errors to firstname.lastname@example.org.Page load time: 0.157 seconds. Last modified: November 04 2018 12:49:43.