G. Bernardi'> M. Shapiro'> G. Petri'> ]>
Last update: 06th Jan 2020
The AdeCoDS project aims at providing a principled approach to the co-design of an application with its adequate consistency model. Our approach spans programming language, static and dynamic verification, protocol, and distributed system techniques. The project involves three academic partners (IRIF, LIP6, INRIA) and two industrial ones (Orange, ARM).