Modular Verification of State-Based CRDTs in Separation Logic. - Abel Nieto; Arnaud Daby-Seesaram; Léon Gondelman; Amin Timany; Lars Birkedal (ECOOP, 2023)

Modular Verification of State-Based CRDTs in Separation Logic (Artifact). - Abel Nieto; Arnaud Daby-Seesaram; Léon Gondelman; Amin Timany; Lars Birkedal (Dagstuhl Artifacts Ser., 2023)