17. VMCAI 2016: St. Petersburg, FL, USA

Invited Talks

Abstract Interpretation

Abstraction

Hybrid and Timed Systems

Dynamic and Static Verification

Probabilistic Systems

Concurrent Programs

Parameterized and Component-Based Systems

Solver Improvements

a service of Schloss Dagstuhl - Leibniz Center for Informatics