Published September 22, 2020
| Version v1
Software
Open
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification (Artifact)
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.
Files
README.pdf
Files
(6.1 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:0cd109b9870daa2779b10630a4021899
|
6.1 GB | Download |
|
md5:815ca599c9df247a0c7f619bab123dad
|
16.7 kB | Download |
|
md5:2407d29730ae7291a72a622603d07724
|
209.6 kB | Preview Download |