Changes between Version 7 and Version 8 of WikiStart


Ignore:
Timestamp:
Oct 27, 2010, 9:45:47 AM (8 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v7 v8  
    2525== Software == 
    2626 
     27=== The BSML Library === 
     28 
    2729 * [http://frederic.loulergue.eu/research/bsmllib/bsml-0.4.html BSML v0.4] 
    2830 * [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.26.html BSML v0.26] 
    … …  
    3032 * [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.2.html BSML v0.2 ] 
    3133 * [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.1.html BSML v0.1] 
     34 
     35=== Semantics and Verification === 
     36 
     37 * Formal Semantics of Revised BSML in Coq  [http://frederic.loulergue.eu/ftp/revised_bsml_semantics-0.1alpha.tar.gz v0.1alpha]