EnglezăFrancezăSpaniolă

Rulați servere | Ubuntu > | Fedora > |


Favicon OnWorks

why-config - Online în cloud

Rulați why-config în furnizorul de găzduire gratuit OnWorks prin Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS

Aceasta este comanda why-config care poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS

PROGRAM:

NUME


de ce - Un instrument de verificare în mai multe limbi pentru dovezi multiple

REZUMAT


de ce [ Opțiuni ] fișiere

DESCRIERE


de ce este un instrument de verificare. Este nevoie de programe adnotate ca intrare (în sintaxa ML sau C) și
emite condiții de verificare pentru mai mulți asistenți de probă (Coq, PVS, HOL Light, Mizar)
și proceduri de decizie (haRVey, Simplify).

OPŢIUNI


-h Ajutor. Vă va oferi lista completă de opțiuni pentru linia de comandă.

AUTORI


Jean-Christophe. Filliatre <filliatr@lri.fr>

Utilizați why-config online folosind serviciile onworks.net


Ad


Ad