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