1. Tools and algorithms for the construction and analysis of systems

   • Kurt Jensen
   • Andreas Podelski

   Special section on Tools and Algorithms for the Construction and Analysis of Systems 11 February 2006 Pages: 177 - 179

2. What the small Rubik’s cube taught me about data structures, information theory, and randomisation

   • Antti Valmari

   Special section on Tools and Algorithms for the Construction and Analysis of Systems 16 February 2006 Pages: 180 - 194

3. Automated generation of a progress measure for the sweep-line method

   • Karsten Schmidt

   Special section on Tools and Algorithms for the Construction and Analysis of Systems 23 September 2005 Pages: 195 - 203

4. Lower and upper bounds in zone-based abstractions of timed automata

   • Gerd Behrmann
   • Patricia Bouyer
   • Radek Pelánek

   Special section on Tools and Algorithms for the Construction and Analysis of Systems 23 September 2005 Pages: 204 - 215

5. Numerical vs. statistical probabilistic model checking

   • Håkan L. S. Younes
   • Marta Kwiatkowska
   • David Parker

   Special section on Tools and Algorithms for the Construction and Analysis of Systems 19 January 2006 Pages: 216 - 228

6. Error explanation with distance metrics

   • Alex Groce
   • Sagar Chaki
   • Ofer Strichman

   Special section on Tools and Algorithms for the Construction and Analysis of Systems 23 December 2005 Pages: 229 - 247

7. Online efficient predictive safety analysis of multithreaded programs

   • Koushik Sen
   • Grigore Roşu
   • Gul Agha

   Special section on Tools and Algorithms for the Construction and Analysis of Systems 17 January 2006 Pages: 248 - 260

8. Liveness with invisible ranking

   • Yi Fang
   • Nir Piterman
   • Lenore Zuck

   Special section on Tools and Algorithms for the Construction and Analysis of Systems 17 March 2006 Pages: 261 - 279

9. Checking JML specifications using an extensible software model checking framework

   • Robby
   • Edwin Rodríguez
   • John Hatcliff

   Special section on Tools and Algorithms for the Construction and Analysis of Systems 16 February 2006 Pages: 280 - 299