Coq, l'alpha et l'omega de la preuve pour B ? - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2009

Coq, l'alpha et l'omega de la preuve pour B ?

Résumé

BiCoax, un plongement léger de la théorie de B en Coq, est la reprise d'une mise en oeuvre réalisée précédemment avec PhoX. Cet article décrit les choix d'implémentation faits dans BiCoax et comment ces choix font écho, ou non, à la théorie de B.
Fichier principal
Vignette du fichier
bicoax.pdf (125.39 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00361302 , version 1 (13-02-2009)

Identifiants

  • HAL Id : hal-00361302 , version 1

Citer

Samuel Colin, Georges Mariano. Coq, l'alpha et l'omega de la preuve pour B ?. 2009. ⟨hal-00361302⟩
119 Consultations
214 Téléchargements

Partager

Gmail Facebook X LinkedIn More