Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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.
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00361302
Contributor : Samuel Colin <>
Submitted on : Friday, February 13, 2009 - 4:19:56 PM
Last modification on : Tuesday, February 17, 2009 - 9:19:48 AM
Long-term archiving on: : Friday, October 12, 2012 - 11:45:42 AM

File

bicoax.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00361302, version 1

Collections

Citation

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

Share

Metrics

Record views

202

Files downloads

200