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:
- DEPLOY publications, reports, tutorials and projects/models, developed by the project members, for a total of 280 items.
- DEPLOY technology transfer wiki containing all user’s documentation for the Rodin platform.
- Rodin User’s Handbook.
- Industrial assessment reports
- Open repository of evidence for adopting Formal Methods in industry