35. FORTE 2015: Grenoble, France

Ensuring Properties of Distributed Systems

Formal Models of Concurrent and Distributed Systems

Real Time Systems

Security

Efficient Verification Techniques

a service of Schloss Dagstuhl - Leibniz Center for Informatics