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


JSON-LD (schema.org) Export

{
  "inLanguage": {
    "alternateName": "eng", 
    "@type": "Language", 
    "name": "English"
  }, 
  "description": "<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>", 
  "license": "https://opensource.org/licenses/MPL-2.0", 
  "creator": [
    {
      "affiliation": "ETH Zurich", 
      "@type": "Person", 
      "name": "Sprenger, Christoph"
    }, 
    {
      "affiliation": "ETH Zurich", 
      "@type": "Person", 
      "name": "Klenze, Tobias"
    }, 
    {
      "affiliation": "ETH Zurich", 
      "@id": "https://orcid.org/0000-0003-4891-6950", 
      "@type": "Person", 
      "name": "Eilers, Marco"
    }, 
    {
      "affiliation": "ETH Zurich", 
      "@type": "Person", 
      "name": "Wolf, Felix A."
    }, 
    {
      "affiliation": "ETH Zurich", 
      "@id": "https://orcid.org/0000-0001-7001-2566", 
      "@type": "Person", 
      "name": "M\u00fcller, Peter"
    }, 
    {
      "affiliation": "ETH Zurich", 
      "@type": "Person", 
      "name": "Clochard, Martin"
    }, 
    {
      "affiliation": "ETH Zurich", 
      "@type": "Person", 
      "name": "Basin, David"
    }
  ], 
  "url": "https://zenodo.org/record/4039826", 
  "datePublished": "2020-09-22", 
  "@type": "SoftwareSourceCode", 
  "keywords": [
    "Distributed Systems", 
    "Verification", 
    "Separation Logic", 
    "Formal Methods", 
    "Refinement"
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.4039826", 
  "@id": "https://doi.org/10.5281/zenodo.4039826", 
  "workFeatured": {
    "alternateName": "OOPSLA 2020", 
    "location": "Chicago", 
    "@type": "Event", 
    "name": "Object-Oriented Programming, Systems, Languages, and Applications 2020"
  }, 
  "name": "Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification (Artifact)"
}
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