1. SETTA 2015: Nanjing, China

Probabilistic Systems

Hybrid and Cyber-Physical Systems

Testing, Simulation and Inference

Bisimulation and Correctness

Design and Implementation

Symbolic Execution and Invariants

Verification and Case Studies

a service of Schloss Dagstuhl - Leibniz Center for Informatics