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


BibTeX Export

@software{sprenger_christoph_2020_4039826,
  author       = {Sprenger, Christoph and
                  Klenze, Tobias and
                  Eilers, Marco and
                  Wolf, Felix A. and
                  Müller, Peter and
                  Clochard, Martin and
                  Basin, David},
  title        = {{Igloo: Soundly Linking Compositional Refinement 
                   and Separation Logic for Distributed System
                   Verification (Artifact)}},
  month        = sep,
  year         = 2020,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.4039826},
  url          = {https://doi.org/10.5281/zenodo.4039826}
}
148
121
views
downloads
All versions This version
Views 148148
Downloads 121121
Data volume 61.3 GB61.3 GB
Unique views 137137
Unique downloads 100100

Share

Cite as