Changes between Version 32 and Version 33 of WikiStart


Ignore:
Timestamp:
Jan 19, 2011, 12:16:41 PM (7 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v32 v33  
    2424=== Semantics and Verification === 
    2525 
     26 * [[Image(http://frederic.loulergue.eu/img/new1.gif,width=32pt)]] Certified BSML programs with Coq [http://frederic.loulergue.eu/ftp/certified_bsml-0.1.tar.gz v0.1]  
    2627 * Formal Semantics of Revised BSML in Coq  [http://frederic.loulergue.eu/ftp/revised_bsml_semantics-0.1alpha.tar.gz v0.1alpha] 
    2728 * Related project: Systematic Development of Parallel Programs ([http://traclifo.univ-orleans.fr/SDPP SDPP])