1. Preface by the section editor

   • Rance Cleaveland

   Special section on alternative approaches to symbolic verification Pages: 247 - 249

2. Constraint-based deductive model checking

   • Giorgio Delzanno
   • Andreas Podelski

   Special section on alternative approaches to symbolic verification Pages: 250 - 270

3. Bisimulation verification using the up to techniques

   • Daniel Hirschkoff

   Special section on alternative approaches to symbolic verification Pages: 271 - 285

4. A light-weight framework for hardware verification

   • Christoph Kern
   • Tarik Ono-Tesfaye
   • Mark R. Greenstreet

   Special section on alternative approaches to symbolic verification Pages: 286 - 313

5. System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation

   • Hubert Garavel
   • César Viho
   • Massimo Zendri

   Special section on alternative approaches to symbolic verification Pages: 314 - 331

6. A case study in class library verification: Java’s vector class

   • Marieke Huisman
   • Bart Jacobs
   • Joachim van den Berg

   Regular contribution Pages: 332 - 352

7. Formal design and analysis of a gear controller

   • Magnus Lindahl
   • Paul Pettersson
   • Wang Yi

   Regular contribution Pages: 353 - 368