There is a newer version of the record available.

Published March 10, 2023 | Version v2
Conference paper Open

state_lib_crdt_artifact

Authors/Creators

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

artifact_documentation.md

Files (5.9 GB)

Name Size
md5:bb8dad75c350c4fac916325608d2e690
10.5 kB Preview Download
md5:806cc18ae49047142453ecbc47175c8e
5.9 GB Download