To jest polecenie, które można uruchomić u dostawcy bezpłatnego hostingu OnWorks, korzystając z jednej z naszych wielu bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online Windows lub emulator online MAC OS
PROGRAM:
IMIĘ
dlaczego — wielojęzyczne narzędzie do weryfikacji wielu dostawców
STRESZCZENIE
dlaczego [ Opcje ] pliki
OPIS
dlaczego to narzędzie do weryfikacji. Pobiera programy z adnotacjami jako dane wejściowe (w składni ML lub C) i
wyprowadza warunki weryfikacji dla kilku asystentów dowodu (Coq, PVS, HOL Light, Mizar)
oraz procedury decyzyjne (haRVey, Simplify).
OPCJE
-h Pomoc. Daje pełną listę opcji wiersza poleceń.
AUTORSKI
Jean-Christophe Filiatre <[email chroniony]>
Korzystaj z gwhy online korzystając z usług onworks.net
