Project Cloudel - Inria/CETIC team

First meeting

Project Cloudel - Inria/CETIC team

First meeting

Cloudel aims to develop and test a rigorous methodology to build correct-by-construction cloud applications using model-driven engineering and formal methods.

Inria and CETIC put together their forces and created an associate team to work on this project.
The first meeting will take place at Inria, Lille .