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 the Rodin platform, plugins, and educational materials, while sharing the common objective of easing its adoption by Industry.

A company, Rodin Tools Ltd, has been created recently as a Not for Profit Company taking over responsibility for the Rodin toolset at the end of DEPLOY.

Several resources are available:

Ce contenu a été publié dans Event, Research. Vous pouvez le mettre en favoris avec ce permalien.

Laisser un commentaire