11. SEFM 2013: Madrid, Spain

Real-Time Systems

Verification 1

Verification 2

Types and Inference

Static Analysis

Testing and Runtime Verification

Synthesis and Transformation

a service of Schloss Dagstuhl - Leibniz Center for Informatics