There is a newer version of the record available.

Published March 10, 2023 | Version v1
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:c84ef28e9f1ad7e213ea2475b382d83d
10.5 kB Preview Download
md5:806cc18ae49047142453ecbc47175c8e
5.9 GB Download