Ito ang command why-dp na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
bakit - Isang multi-language multi-prover verification tool
SINOPSIS
bakit [ pagpipilian ] file
DESCRIPTION
bakit ay isang tool sa pag-verify. Ito ay tumatagal ng mga annotated na programa bilang input (sa ML o C syntax) at
naglalabas ng mga kundisyon sa pag-verify para sa ilang proof assistant (Coq, PVS, HOL Light, Mizar)
at mga pamamaraan ng pagpapasya (haRVey, Simplify).
Opsyon
-h Tulong. Bibigyan ka ng buong listahan ng mga opsyon sa command line.
MGA AUTHORS
Jean-Christophe Filliator <filliatr@lri.fr>
Gumamit ng why-dp online gamit ang mga serbisyo ng onworks.net