Propositions de Stages MPRI, 2016-17

• Verifying Robustness of Distributed Systems against Weak Consistency Models.