Archives mensuelles : décembre 2012
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
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.