InglesPransesEspanyol

Patakbuhin ang mga server | Ubuntu > | Fedora > |


OnWorks favicon

why-config - Online sa Cloud

Patakbuhin ang why-config sa OnWorks na libreng hosting provider sa Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator

Ito ang command why-config 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>

Gamitin ang why-config online gamit ang mga serbisyo ng onworks.net


Ad


Ad