Propositions de Stages MPRI, 2016-17
Verifying Robustness of Distributed Systems against Weak Consistency Models.