Logiciels

Logiciels Propac

• Preuves de programmes parallèles :
  • BSMLCOQ (version 0.1)
    • bsmlcoq-0.1.v
    • Plus d'informations

Autres logiciels

Bibliothèques de programmation parallèle :

• La bibliothèque Minimally Synchronous Parallel ML (version 0.2)
  • mspml-0.2.tar.gz
  • Plus d'informations
• La bibliothèque BSMLlib (version 0.25)
  • bsmllib-0.25.tar.gz
  • Le manuel de référence: bsmllib-0.25_manual.pdf, bsmllib-0.25_manual_html.tar.gz.
  • Plus d'informations