1. Foreword: Special issue on numerical software verification

   • Franjo Ivančić
   • Sriram Sankaranarayanan
   • Chao Wang

   OriginalPaper 05 January 2010 Pages: 227 - 228

2. Why does Astrée scale up?

   • Patrick Cousot
   • Radhia Cousot
   • Xavier Rival

   Abstract 11 November 2009 Pages: 229 - 264

3. Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics

   • Matthieu Martel

   Abstract 08 April 2009 Pages: 265 - 278

4. Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness

   • Roberto Bagnara
   • Patricia M. Hill
   • Enea Zaffanella

   OriginalPaper 30 May 2009 Pages: 279 - 323

5. Action Language verifier: an infinite-state model checker for reactive software specifications

   • Tuba Yavuz-Kahveci
   • Tevfik Bultan

   OriginalPaper 12 September 2009 Pages: 325 - 367

6. Summarization for termination: no return!

   • Byron Cook
   • Andreas Podelski
   • Andrey Rybalchenko

   OriginalPaper 13 October 2009 Pages: 369 - 387

7. Testing-based translation validation of generated code in the context of IEC 61508

   • Mirko Conrad

   OriginalPaper 27 November 2009 Pages: 389 - 401