1. Guest editorial

   • Constance Heitmeyer
   • Jean-Pierre Talpin

   OriginalPaper 05 August 2006 Pages: 1 - 3

2. Verification of SpecC using predicate abstraction

   • Edmund Clarke
   • Himanshu Jain
   • Daniel Kroening

   OriginalPaper 31 August 2006 Pages: 5 - 28

   

3. Static priority scheduling of event-triggered real-time embedded systems

   • Cagkan Erbas
   • Andy D. Pimentel
   • Selin Cerav-Erbas

   OriginalPaper 01 September 2006 Pages: 29 - 47

   

4. Static priority scheduling of event-triggered real-time embedded systems

   • Cagkan Erbas
   • Andy D. Pimentel
   • Selin Cerav-Erbas

   Publisher's Erratum 05 October 2006 Pages: 49 - 49

5. Bounded model checking of infinite state systems

   • Tobias Schuele
   • Klaus Schneider

   OriginalPaper 31 August 2006 Pages: 51 - 81