1. Guest editors’ introduction: Advancements and extensions of verification techniques

   • Joost-Pieter Katoen
   • Perdita Stevens

   Special section on tools and algorithms for the construction and analysis of systems 29 July 2004 Pages: 99 - 101

2. Fate and free will in error traces

   • HoonSang Jin
   • Kavita Ravi
   • Fabio Somenzi

   Special section on tools and algorithms for the construction and analysis of systems 06 July 2004 Pages: 102 - 116

3. Exploring very large state spaces using genetic algorithms

   • Patrice Godefroid
   • Sarfraz Khurshid

   Special section on tools and algorithms for the construction and analysis of systems 06 April 2004 Pages: 117 - 127

4. Probabilistic symbolic model checking with PRISM: a hybrid approach

   • Marta Kwiatkowska
   • Gethin Norman
   • David Parker

   Special section on tools and algorithms for the construction and analysis of systems 06 April 2004 Pages: 128 - 142

5. CLPS–B – A constraint solver to animate a B specification

   • Fabrice Bouquet
   • Bruno Legeard
   • Fabien Peureux

   Special section on tools and algorithms for the construction and analysis of systems 19 December 2003 Pages: 143 - 157

6. Efficient monitoring of safety properties

   • Klaus Havelund
   • Grigore Roşu

   Special section on tools and algorithms for the construction and analysis of systems 28 November 2003 Pages: 158 - 173

7. Test sequence generation and model checking using dynamic transition relations

   • Sérgio Campos
   • Orna Grumberg
   • Copty Fady

   Regular contribution 27 April 2004 Pages: 174 - 182