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

maintained by Schloss Dagstuhl LZI at University of Trier