1. A workshop on formal methods education: held at Melbourne Florida in March 1998[5]

   • Steven D. Johnson

   The opinion corner Pages: 203 - 207

2. Pragmatics of model checking: an STTT special section

   • Rance Cleaveland

   Special section on model checking Pages: 208 - 218

3. Local model checking and protocol analysis

   • Xiaoqun Du
   • Scott A. Smolka
   • Rance Cleaveland

   Special section on model checking Pages: 219 - 241

4. Partial model checking of modal equations: A survey

   • Henrik Reif Andersen
   • Jorn Lind-Nielsen

   Special section on model checking Pages: 242 - 259

5. Analysis and verification of real-time systems using quantitative symbolic algorithms

   • Sérgio Vale Aguiar Campos
   • Edmund Clarke

   Special section on model checking Pages: 260 - 269

6. A minimized automaton representation of reachable states

   • Gerard J. Holzmann
   • Anuj Puri

   Special section on model checking Pages: 270 - 278

7. State space reduction using partial order techniques

   • E.M. Clarke
   • O. Grumberg
   • D. Peled

   Special section on model checking Pages: 279 - 287

8. Model checking: a hardware design perspective

   • Carl Pixley
   • Vigyan Singhal

   Special section on model checking Pages: 288 - 306

9. Programming in FISh

   • C. Barry Jay

   Regular contribution Pages: 307 - 315