Logical Methods in Computer Science

HOME

SPECIAL ISSUE:
Selected Papers of the Conference ''Computer Aided Verification 2005''
Edinburgh, Scotland, 2005

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 Kumar Lahiri, Thomas Ball and Byron Cook


Interpolant-Based Transition Relation Approximation
Ranjit Jhala and Kenneth L. McMillan

DOI: 10.2168/LMCS-CAV:2005