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

Verification, specification and modelling

Distributed OS programming

Analysis and debugging

maintained by Schloss Dagstuhl LZI at University of Trier