Changes between Version 47 and Version 48 of WikiStart


Ignore:
Timestamp:
Mar 15, 2013, 9:02:24 AM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v47 v48  
    2626=== Semantics and Verification === 
    2727 
    28  * [[Image(http://frederic.loulergue.eu/img/new1.gif,width=32pt)]] Certified BSML programs with Coq: [http://traclifo.univ-orleans.fr/BSML/raw-attachment/wiki/WikiStart/certified_bsml-0.1.tar.gz v0.1], [http://traclifo.univ-orleans.fr/BSML/raw-attachment/wiki/WikiStart/CertifiedBSML-0.2.tar.gz v0.2] 
     28 * Certified BSML programs with Coq: [http://traclifo.univ-orleans.fr/BSML/raw-attachment/wiki/WikiStart/certified_bsml-0.1.tar.gz v0.1], [http://traclifo.univ-orleans.fr/BSML/raw-attachment/wiki/WikiStart/CertifiedBSML-0.2.tar.gz v0.2] 
    2929 * Formal Semantics of Revised BSML in Coq  [http://frederic.loulergue.eu/ftp/revised_bsml_semantics-0.1alpha.tar.gz v0.1alpha] 
    3030 * Related project: Systematic Development of Parallel Programs ([http://traclifo.univ-orleans.fr/SDPP SDPP])