AnglaisFrançaisEspagnol

Exécutez les serveurs | Ubuntu > | Fedora > |


Icône de favori OnWorks

Why-stat - En ligne dans le Cloud

Exécutez Why-stat dans le fournisseur d'hébergement gratuit OnWorks sur Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS

C'est la commande Why-stat 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:

PRÉNOM


pourquoi - Un outil de vérification multi-prouveurs multilingue

SYNOPSIS


pourquoi [ Options ] fichiers

DESCRIPTION


pourquoi 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-stat en ligne en utilisant les services onworks.net


Ad


Ad