5. SOFL+MSVL 2015: Paris, France

Modeling and Specification

Testing and Debugging

Model Checking and Verification

Algorithm and Transformation

maintained by Schloss Dagstuhl LZI, founded at University of Trier