Software Open Access

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

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 (6.1 GB)
Name Size
igloo-artifact.ova
md5:0cd109b9870daa2779b10630a4021899
6.1 GB Download
LICENSE
md5:815ca599c9df247a0c7f619bab123dad
16.7 kB Download
README.pdf
md5:2407d29730ae7291a72a622603d07724
209.6 kB Download
119
93
views
downloads
All versions This version
Views 119119
Downloads 9393
Data volume 42.9 GB42.9 GB
Unique views 110110
Unique downloads 7777

Share

Cite as