1. Introduction

   • Robert Kurshan

   EditorialNotes Pages: 295 - 295

2. A stubborn attack on state explosion

   • Antti Valmari

   OriginalPaper Pages: 297 - 322

3. Compositional checking of satisfaction

   • Henrik Reif Andersen
   • Glynn Winskel

   OriginalPaper Pages: 323 - 354

4. Verification of a multiprocessor cache protocol using simulation relations and higher-order logic

   • Paul N. Loewesstein
   • David L. Dill

   OriginalPaper Pages: 355 - 383

5. Minimum and maximum delay problems in real-time systems

   • Costas Courcoubetis
   • Mihalis Yannakakis

   OriginalPaper Pages: 385 - 415