Archives mensuelles : avril 2012

DEPLOY project completed

Started in February 2008, the DEPLOY project,  probably the biggest Formal Method project ever funded by the European Community, completed in April 2012. During more than 4 years, 86 researchers and engineers from 14 partners have collaborated to the development, improvement and assessment of … Continuer la lecture

Publié dans Event, Research | Laisser un commentaire

Rodin 2.5 released

Rodin 2.5 is available on Sourceforge

Publié dans Tools | Laisser un commentaire