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


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.4039826", 
  "language": "eng", 
  "title": "Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification (Artifact)", 
  "issued": {
    "date-parts": [
      [
        2020, 
        9, 
        22
      ]
    ]
  }, 
  "abstract": "<p>This is the artifact accompanying the OOPSLA 2020 paper &quot;Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification&quot;.</p>\n\n<p>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.</p>", 
  "author": [
    {
      "family": "Sprenger, Christoph"
    }, 
    {
      "family": "Klenze, Tobias"
    }, 
    {
      "family": "Eilers, Marco"
    }, 
    {
      "family": "Wolf, Felix A."
    }, 
    {
      "family": "M\u00fcller, Peter"
    }, 
    {
      "family": "Clochard, Martin"
    }, 
    {
      "family": "Basin, David"
    }
  ], 
  "id": "4039826", 
  "event-place": "Chicago", 
  "type": "article", 
  "event": "Object-Oriented Programming, Systems, Languages, and Applications 2020 (OOPSLA 2020)"
}
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