C'est la commande Why-dp qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
pourquoi - Un outil de vérification multi-prouveurs multilingue
SYNOPSIS
why [ Options ] fichiers
DESCRIPTION
why est un outil de vérification. Il prend en entrée des programmes annotés (en syntaxe ML ou C) et
sorties des conditions de vérification pour plusieurs assistants de preuve (Coq, PVS, HOL Light, Mizar)
et les procédures de décision (haRVey, Simplify).
OPTIONS
-h Aider. Vous donnera la liste complète des options de ligne de commande.
AUTEURS
Jean-Christophe Filiatre <filliatr@lri.fr>
Utilisez Why-dp en ligne en utilisant les services onworks.net