Dies ist der Befehl why-obfuscator, der beim kostenlosen Hosting-Anbieter OnWorks mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, dem Windows-Online-Emulator oder dem MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
warum - Ein mehrsprachiges Multi-Prover-Verifizierungstool
ZUSAMMENFASSUNG
warum [ Optionen ] Dateien
BESCHREIBUNG
warum ist ein Verifizierungstool. Es nimmt kommentierte Programme als Eingabe (in ML- oder C-Syntax) und
gibt Prüfbedingungen für mehrere Proof-Assistenten aus (Coq, PVS, HOL Light, Mizar)
und Entscheidungsverfahren (haRVey, Simplify).
OPTIONAL
-h Hilfe. Gibt Ihnen die vollständige Liste der Befehlszeilenoptionen.
AUTOREN
Jean-Christophe Filliater <filliatr@lri.fr>
Nutzen Sie Why-Obfuscator online über die Dienste von onworks.net