het EngelsFransSpaans

Servers draaien | Ubuntu > | Fedora > |


OnWorks-favicon

gwhy - Online in de cloud

Voer gwhy uit in de gratis hostingprovider van OnWorks via Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator

Dit is de opdracht gwhy die kan worden uitgevoerd in de gratis hostingprovider van OnWorks met behulp van een van onze meerdere gratis online werkstations zoals Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator

PROGRAMMA:

NAAM


waarom - Een meertalige verificatietool voor meerdere bewijzen

KORTE INHOUD


Waarom [ opties ] bestanden

PRODUCTBESCHRIJVING


Waarom is een verificatietool. Het neemt geannoteerde programma's als invoer (in ML- of C-syntaxis) en
voert verificatievoorwaarden uit voor verschillende bewijsassistenten (Coq, PVS, HOL Light, Mizar)
en beslissingsprocedures (haRVey, Simplify).

OPTIES


-h Helpen. Geeft u de volledige lijst met opdrachtregelopties.

AUTEURS


Jean-Christophe Filliatre <filliatr@lri.fr>

Gebruik gwhy online met onworks.net-services


Ad


Ad