Creative Commons
| 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 | ||