Julien TESSON - thèse

Environnement pour le développement et la preuve de correction systématiques de programmes parallèles fonctionnels

Mémoire de thèse

• version du 30 janvier 2012 ici

Sources

• Les petits exemples d'introduction à Coq sont ici
• Les sources complètes de l'environnement : ici
• BSML est disponible ici
• En cas de problème : contact mail julien.tesson_at_univ-orleans.fr, chan IRC : #bsml sur Freenode

BSML 0.5 nécessite OCaml 3.10.2, nos developpements ont été testés avec Ocaml 3.11.2 et Ocaml 3.12.0.
Nos développements Coq nécessite Coq 8.3pl2.

Site officiel

SDPP sur le site du LIFO