angielskufrancuskihiszpański

Uruchom serwery | Ubuntu > | Fedora > |


Ulubiona usługa OnWorks

dlaczego - Online w chmurze

Sprawdź dlaczego w bezpłatnym hostingu OnWorks przez Ubuntu Online, Fedora Online, emulator online Windows lub emulator online MAC OS

To jest polecenie, dzięki któremu można go uruchomić u dostawcy bezpłatnego hostingu OnWorks, korzystając z jednej z naszych wielu darmowych 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>

Dowiedz się, dlaczego online korzysta z usług onworks.net


Ad


Ad