7. PLOS@SOSP 2013: Farmington, PA, USA

Verification, specification and modelling

Distributed OS programming

Analysis and debugging

maintained by Schloss Dagstuhl LZI, founded at University of Trier