Ito ang command na krakatoa 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 <[protektado ng email]>
Gamitin ang krakatoa online gamit ang mga serbisyo ng onworks.net
