Project Cloudel - Inria/CETIC team

Project Cloudel - Inria/CETIC team

First meeting

Date: 17 January 2020

Event: CETIC talks 

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 .