Archives mensuelles : décembre 2012

Three kinds of projects

Atelier B 4.1 supports three different kinds of projects: software project: using B language, aimed at producing C or Ada code. system level project: using Event-B language, aimed at producing evidences that a system level specification is sound and at … Continuer la lecture

Publié dans Applications | Laisser un commentaire

Atelier B Open Source Tools Map

  At the occasion of the forthcoming Atelier B 4.1 release, a map referencing the open-source projects is published. All the open-source tools are hosted on Sourceforge facilities.

Publié dans Tools | 2 commentaires