1. Introductory paper

   • Matthew Dwyer
   • Stefan Leue

   Special section on the algorithmics of software model checking 17 November 2004 Pages: 257 - 259

2. Heuristics for model checking Java programs

   • Alex Groce
   • Willem Visser

   Special section on the algorithmics of software model checking 29 October 2004 Pages: 260 - 276

3. Partial-order reduction and trail improvement in directed model checking

   • Stefan Edelkamp
   • Stefan Leue
   • Alberto Lluch-Lafuente

   Special section on the algorithmics of software model checking 03 November 2004 Pages: 277 - 301

4. Symmetry reductions for model checking of concurrent dynamic software

   • Radu Iosif

   Special section on the algorithmics of software model checking 05 November 2004 Pages: 302 - 319

5. Exploiting transition locality in automatic verification of finite-state concurrent systems

   • Giuseppe Della Penna
   • Benedetto Intrigila
   • Marisa Venturini Zilli

   Regular contribution 06 July 2004 Pages: 320 - 341