Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification (Artifact)
- Sprenger, Christoph
- Klenze, Tobias
- Eilers, Marco
- Wolf, Felix A.
- Müller, Peter
- Clochard, Martin
- Basin, David
Publication date
September 2020
DOIAbstract
This is the artifact accompanying the OOPSLA 2020 paper "Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification". The artifact comes in the form of a VirtualBox VM image (igloo-artifact.ova). Instructions for running the VM image and using the artifact can be found in the README
Add to ORKG