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


Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:creator>Sprenger, Christoph</dc:creator>
  <dc:creator>Klenze, Tobias</dc:creator>
  <dc:creator>Eilers, Marco</dc:creator>
  <dc:creator>Wolf, Felix A.</dc:creator>
  <dc:creator>Müller, Peter</dc:creator>
  <dc:creator>Clochard, Martin</dc:creator>
  <dc:creator>Basin, David</dc:creator>
  <dc:date>2020-09-22</dc:date>
  <dc: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.</dc:description>
  <dc:identifier>https://zenodo.org/record/4039826</dc:identifier>
  <dc:identifier>10.5281/zenodo.4039826</dc:identifier>
  <dc:identifier>oai:zenodo.org:4039826</dc:identifier>
  <dc:language>eng</dc:language>
  <dc:relation>doi:10.5281/zenodo.4039825</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:rights>https://opensource.org/licenses/MPL-2.0</dc:rights>
  <dc:subject>Distributed Systems</dc:subject>
  <dc:subject>Verification</dc:subject>
  <dc:subject>Separation Logic</dc:subject>
  <dc:subject>Formal Methods</dc:subject>
  <dc:subject>Refinement</dc:subject>
  <dc:title>Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification (Artifact)</dc:title>
  <dc:type>info:eu-repo/semantics/other</dc:type>
  <dc:type>software</dc:type>
</oai_dc:dc>
148
122
views
downloads
All versions This version
Views 148148
Downloads 122122
Data volume 61.3 GB61.3 GB
Unique views 137137
Unique downloads 101101

Share

Cite as