SOFL+MSVL 2013: Queenstown, New Zealand

Testing and Verification

Simulation and Model Checking

SOFL Tools

Formal Specification and Application

maintained by Schloss Dagstuhl LZI, founded at University of Trier