IngleseFranceseSpagnolo

Esegui server | Ubuntu > | Fedora > |


Favicon di OnWorks

why-dp - Online nel cloud

Esegui why-dp nel provider di hosting gratuito OnWorks su Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS

Questo è il comando why-dp che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS

PROGRAMMA:

NOME


why - Uno strumento di verifica multi-prover multilingua

SINOSSI


Perché [ Opzioni ] file

DESCRIZIONE


Perché è uno strumento di verifica. Richiede programmi annotati come input (nella sintassi ML o C) e
emette condizioni di verifica per diversi assistenti di prova (Coq, PVS, HOL Light, Mizar)
e procedure decisionali (haRVey, Simplify).

VERSIONI


-h Aiuto. Ti darà l'elenco completo delle opzioni della riga di comando.

AUTORI


Jean-Christophe Filliatre <filliatr@lri.fr>

Usa why-dp online utilizzando i servizi onworks.net


Ad


Ad