Rechercher une page de manuel
krakatoa
Langue: en
Version: 334033 (ubuntu - 24/10/10)
Section: 1 (Commandes utilisateur)
NAME
why - A multi-language multi-prover verification toolSYNOPSIS
why [ options ] filesDESCRIPTION
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/
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre