Il s'agit de la commande Why-obfuscator qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks à l'aide de 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 <[email protected]>
Utilisez Why-obfuscator en ligne à l'aide des services onworks.net
