1. Editorial

   • R. Brayton
   • E. M. Clarke
   • P. A. Subrahmanyam

   EditorialNotes Pages: 5 - 5

2. Introduction

   • David K. Probst
   • Gregor v. Bochmann

   EditorialNotes Pages: 7 - 9

3. Property preserving abstractions for the verification of concurrent systems

   • C. Loiseaux
   • S. Graf
   • David Probst

   OriginalPaper Pages: 11 - 44

4. A technique of state space search based on unfolding

   • K. L. McMillan
   • D. K. Probst

   OriginalPaper Pages: 45 - 65

5. An iterative approach to verification of real-time systems

   • Felice Balarin
   • Alberto L. Sangiovanni-Vincentelli

   OriginalPaper Pages: 67 - 95

6. Using integer programming to verify general safety and liveness properties

   • James C. Corbett
   • George S. Avrunin

   OriginalPaper Pages: 97 - 123