Published September 22, 2020
| Version v1
Software
Open
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification (Artifact)
Authors/Creators
- 1. ETH Zurich
Description
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.