ANR project FREDDA
FoRmal mEthods for the Design of Distributed Algorithms
It involves members of three laboratories: IRIF (University Paris Diderot), LSV (ENS Paris Saclay) and LaBRI (University of Bordeaux).
Its main goal is to develop formal method in order to improve and ease the design of distributed algorithms.