27th CAV 2015: San Francisco, CA, USA

Invited Paper

Model Checking and Refinements

Quantitative Reasoning

Software Analysis

Lightning Talks

Interpolation, IC3/PDR, and Invariants

a service of Schloss Dagstuhl - Leibniz Center for Informatics