1. Preface by the section editor

   • Susanne Graf

   Special section on tools and algorithms for the construction and analysis of systems Pages: 139 - 141

2. Using static analysis to improve automatic test generation

   • Marius Bozga
   • Jean-Claude Fernandez
   • Lucian Ghirvu

   Special section on tools and algorithms for the construction and analysis of systems Pages: 142 - 152

3. A tool for model-checking Markov chains

   • Holger Hermanns
   • Joost-Pieter Katoen
   • Markus Siegle

   Special section on tools and algorithms for the analysis of systems Pages: 153 - 172

4. Efficient verification of security protocols using partial-order reductions

   • Edmund Clarke
   • Somesh Jha
   • Will Marrero

   Special section on tools and algorithms for the construction and analysis of systems Pages: 173 - 188

5. The PROSPER toolkit

   • Louise A. Dennis
   • Graham Collins
   • Thomas F. Melham

   Special section on tools and algorithms for the analysis of systems Pages: 189 - 210

6. A systematic incrementalization technique and its application to hardware design

   • Steven D. Johnson
   • Yanhong A. Liu
   • Yuchen Zhang

   Regular contribution Pages: 211 - 223

7. Vacuity detection in temporal model checking

   • Orna Kupferman
   • Moshe Y. Vardi

   Regular contribution Pages: 224 - 233

8. Comparison of SPIN and VIS for protocol verification

   • Hong Peng
   • Sofiène Tahar
   • Ferhat Khendek

   Regular contribution Pages: 234 - 245

9. Managing the verification trajectory

   • Theo C. Ruys
   • Ed Brinksma

   Regular contribution Pages: 246 - 259