Published July 8, 2022 | Version v2
Software Open

Modular Verification of Op-Based CRDTs in Separation Logic (Proof Artifact)

Creators

  • 1. Aarhus University
  • 2. ENS Lyon

Description

Proof Artifact (Coq development in a VirtualBox VM) for the paper "Modular Verification of Op-Based CRDTs in Separation Logic".

Files

artifact-overview.md

Files (6.2 GB)

Name Size Download all
md5:8ad4a2d76a977fe1d5a1ab8fa51be548
11.4 kB Preview Download
md5:68eb7a31ad933631c5727880cafedc7f
6.2 GB Download