23. TACAS 2017: Uppsala, Sweden (Part of ETAPS 2017)

Invited Talk

Verification Techniques I

Verification Techniques II

Learning

Synthesis I

Synthesis II

Tools

Automata

Concurrency and Bisimulation

Hybrid Systems

a service of Schloss Dagstuhl - Leibniz Center for Informatics