InglésFrancésEspañol

Ejecutar servidores | Ubuntu > | Fedora > |


icono de página de OnWorks

gwhy - Online en la nube

Ejecute gwhy en el proveedor de alojamiento gratuito de OnWorks sobre Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS

Este es el comando gwhy 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


el porqué [ opciones ] archivos

DESCRIPCIÓN


el porqué 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).

OPCIONES


-h Ayudar. Le dará la lista completa de opciones de línea de comando.

AUTORES


Jean-Christophe Filliátre <filliatr@lri.fr>

Use gwhy en línea usando los servicios de onworks.net


Ad


Ad