EnglishFrenchSpanish

Run servers | Ubuntu > | Fedora > |


OnWorks favicon

gwhy-bin - Online in the Cloud

Run gwhy-bin in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command gwhy-bin that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

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>

Use gwhy-bin online using onworks.net services


Ad


Ad