Este es el comando por el que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
por qué: una herramienta de verificación de múltiples probadores en varios idiomas
SINOPSIS
porque [ opciones ] archivos
DESCRIPCIÓN
porque es una herramienta de verificación. Toma programas anotados como entrada (en sintaxis ML o C) y
condiciones de verificación de salidas para varios asistentes de prueba (Coq, PVS, HOL Light, Mizar)
y procedimientos de decisión (haRVey, Simplify).
CAMPUS
-h Ayudar. Le dará la lista completa de opciones de línea de comando.
AUTORES
Jean-Christophe Filliátre <[email protected]>
Utilice el por qué en línea utilizando los servicios de onworks.net
