1. What makes good research in software engineering?

   • Mary Shaw

   The opinion corner Pages: 1 - 7

2. Program model checking as a new trend

   • Klaus Havelund
   • Willem Visser

   Special section on SPIN Pages: 8 - 20

3. Verification and optimization of a PLC control schedule

   • Ed Brinksma
   • Angelika Mader
   • Ansgar Fehnker

   Special section on SPIN Pages: 21 - 33

4. Expressing checkable properties of dynamic systems: the Bandera Specification Language

   • James C. Corbett
   • Matthew B. Dwyer
   • Robby

   Special section on SPIN Pages: 34 - 56

5. Testing LTL formula translation into Büchi automata

   • Heikki Tauriainen
   • Keijo Heljanko

   Special section on SPIN Pages: 57 - 70

6. Model-checking multi-threaded distributed Java programs

   • Scott D. Stoller

   Special section on SPIN Pages: 71 - 91

7. Symmetric Spin

   • Dragan Bošnački
   • Dennis Dams
   • Leszek Holenderski

   Special section on SPIN Pages: 92 - 106

8. Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard

   • Cindy Eisner

   Regular contribution Pages: 107 - 124

9. Program slicing for VHDL

   • E.M. Clarke
   • M. Fujita
   • T. Teitelbaum

   Regular contribution Pages: 125 - 137