C'est la commande pour laquelle cela peut être exécuté 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 <[email protected]>
Utilisez pourquoi en ligne en utilisant les services onworks.net
