There is a newer version of the record available.

Published March 10, 2023 | Version v1
Other Open

state_lib_crdt_artifact

Creators

  • 1. ...

Description

This is the artifact consisting of the Coq formalization for the paper "Modular Verification of
State-Based CRDTs in Separation Logic", submitted to ECOOP'23.

 

Files

DEV_README.md

Files (4.9 GB)

Name Size Download all
md5:505ff51d016311437783fd6d65846cbc
3.8 kB Preview Download
md5:418c9b01fb6b3f12f10120af6d75e9aa
576.8 kB Preview Download
md5:53ea13f2a945231e6ae4affe34257884
4.9 GB Download