15th ACSD 2015: Brussels, Belgium

Model Checking

Verification

Semantics

Processors

Petri Net Extensions

Tools and Applications

maintained by Schloss Dagstuhl LZI at University of Trier