het EngelsFransSpaans

Servers draaien | Ubuntu > | Fedora > |


OnWorks-favicon

waarom-obfuscator - Online in de cloud

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

Dit is de opdracht waarom-obfuscator 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 waarom-obfuscator online met onworks.net-services


Ad


Ad