Este é o comando why-dp que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas várias estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS
PROGRAMA:
NOME
porque - Uma ferramenta de verificação de provador multi-idioma
SINOPSE
porque [ opções ] arquivos
DESCRIÇÃO
porque é uma ferramenta de verificação. Leva programas anotados como entrada (em sintaxe ML ou C) e
condições de verificação de saídas para vários assistentes de prova (Coq, PVS, HOL Light, Mizar)
e procedimentos de decisão (haRVey, Simplify).
OPÇÕES
-h Ajuda. Fornece a lista completa de opções de linha de comando.
AUTORES
Jean-Christophe Filiatre <[email protegido]>
Use why-dp online usando serviços onworks.net
