Preface Kousha Etessami and Sriram Rajamani | ||
Linear Encodings of Bounded LTL Model Checking | ||
Armin Biere, Keijo Heljanko, Tommi Junttila, Timo Latvala and Viktor Schuppan | ||
Predicate Abstraction with Under-Approximation Refinement | ||
Corina S. Păsăreanu, Radek Pelánek and Willem Visser | ||
Predicate Abstraction via Symbolic Decision Procedures | ||
Shuvendu Kuma Lahiri, Thomas Ball and Byron Cook | ||
Interpolant-Based Transition Relation Approximation | ||
Ranjit Jhala and Kenneth L. McMillan | ||