ANR project FREDDA
FoRmal mEthods for the Design of Distributed Algorithms
Project Fredda is a project funded by the french national agency for research.
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.