some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

   Recent

   In Progress

   Archive

   Proposal

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

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


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



DOI: 10.2168/LMCS-CAV:2005

Creative Commons