Il s'agit de l'outil de commande tool-stat qui peut être exécuté dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos nombreux 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]>
Utiliser tool-stat en ligne à l'aide des services onworks.net
