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


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
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