Accepted Papers

Paul Jackson, Daniel Sheridan
A compact linear translation for bounded model checking

Toni Jussila, Armin Biere
Compressing BMC Encodings with QBF

Erika Abraham, Bernd Becker, and Marc Herbstritt
Bounded Model Checking with Parametric Data Structures

Xuandong Li, Sumit Kumar Jha, and Lei Bu
Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming

Joao Marques-Silva
Interpolant Learning and Reuse in SAT-Based Model Checking