1. Preface

   • Aarti Gupta
   • Sharad Malik

   EditorialNotes 03 July 2009 Pages: 1 - 1

2. The CAV award

   • The CAV Steering Committee

   Announcement 29 April 2009 Pages: 2 - 3

3. The 2008 CAV Award citation

   • R. E. Bryant
   • O. Grumberg
   • M. Y. Vardi

   OriginalPaper 30 April 2009 Pages: 4 - 5

4. Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations

   • Himanshu Jain
   • Edmund M. Clarke
   • Orna Grumberg

   OriginalPaper 24 April 2009 Pages: 6 - 39

5. Functional verification of power gated designs by compositional reasoning

   • Cindy Eisner
   • Amir Nahir
   • Karen Yorav

   OriginalPaper 08 July 2009 Pages: 40 - 55

6. Word level bitwidth reduction for unbounded hardware model checking

   • Per Bjesse

   OriginalPaper 07 July 2009 Pages: 56 - 72

7. Reducing concurrent analysis under a context bound to sequential analysis

   • Akash Lal
   • Thomas Reps

   OriginalPaper 07 July 2009 Pages: 73 - 97

8. Computing differential invariants of hybrid systems as fixedpoints

   • André Platzer
   • Edmund M. Clarke

   OriginalPaper 10 July 2009 Pages: 98 - 120