Aceasta este comanda why-dp 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 <[e-mail protejat]>
Utilizați why-dp online folosind serviciile onworks.net
