angielskufrancuskihiszpański

Uruchom serwery | Ubuntu > | Fedora > |


Ulubiona usługa OnWorks

gwhy-bin — online w chmurze

Uruchom gwhy-bin u dostawcy bezpłatnego hostingu OnWorks przez Ubuntu Online, Fedora Online, emulator online Windows lub emulator online MAC OS

Jest to polecenie gwhy-bin, które 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 Windows lub emulator online MAC OS

PROGRAM:

IMIĘ


dlaczego — wielojęzyczne narzędzie do weryfikacji wielu dostawców

STRESZCZENIE


czemu [ Opcje ] akta

OPIS


czemu 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 Filliatre <filliatr@lri.fr>

Korzystaj z gwhy-bin online za pomocą usług onworks.net


Ad


Ad