1. Introduction

   • Robert Kurshan

   EditorialNotes Pages: 119 - 119

2. A linear-time model-checking algorithm for the alternation-free modal mu-calculus

   • Rance Cleaveland
   • Bernhard Steffen

   OriginalPaper Pages: 121 - 147

3. Using partial orders for the efficient verification of deadlock freedom and safety properties

   • Patrice Godefroid
   • Pierre Wolper

   OriginalPaper Pages: 149 - 164

4. Structuring and automating hardware proofs in a higher-order theorem-proving environment

   • Ramayya Kumar
   • Klaus Schneider
   • Thomas Kropf

   OriginalPaper Pages: 165 - 223