Dies ist der Befehl gwhy-bin, der im kostenlosen OnWorks-Hosting-Provider über eine unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, Windows-Online-Emulator oder 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 <[E-Mail geschützt] >
Verwenden Sie gwhy-bin online mit den onworks.net-Diensten
