G. Bernardi'> M. Shapiro'> G. Petri'> ]> ANR project AdeCoDS

ANR project AdeCoDS

Programming, verifying, and synthesizing Adequately-Consistent Distributed Systems

Last update: 06th Jan 2020

Short Description

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).


  1. R. Biswas
  2. A. Bouajjani
  3. &gio;
  4. C. Dragoi
  5. C. Enea
  6. T. Lejkin
  7. &gus;
  8. L. Prosperi
  9. &marc;