To jest polecenie Why-stat, które można uruchomić u dostawcy bezpłatnego hostingu OnWorks przy użyciu jednej z wielu naszych bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online systemu 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 Why-stat online, korzystając z usług onworks.net
