Jest to kaduceusz poleceń, który można uruchomić u dostawcy bezpłatnego hostingu OnWorks przy użyciu jednej z naszych wielu bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online systemu Windows lub emulator online systemu 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 kaduceusza online za pomocą usług onworks.net
