6. SOFL+MSVL 2016: Tokyo, Japan

Modeling and Specification

Animation and Prototyping

Verification and Validation

Model Checking

maintained by Schloss Dagstuhl LZI, founded at University of Trier