Dit is de opdracht waarom-dp 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 filiaal <[e-mail beveiligd]>
Gebruik waarom-dp online met behulp van onworks.net-services
