Rechercher une page de manuel

Chercher une autre page de manuel:

why

Langue: en

Autres versions - même langue

Version: 336643 (ubuntu - 24/10/10)

Section: 1 (Commandes utilisateur)

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/

P O E T E
O R N E D
E N E P E
T E P A R
E D E R S Etranges lauriers (poète orné de népète, paré d'ers)
-- Breton, J.C.