1. Introduction: Special Issue on CAV '97

   • Orna Grumberg

   Introduction Pages: 95 - 95

2. Partial-Order Reduction in Symbolic State-Space Exploration

   • R. Alur
   • R.K. Brayton
   • S.K. Rajamani

   OriginalPaper Pages: 97 - 116

3. Parallelizing the Murϕ Verifier

   • Ulrich Stern
   • David L. Dill

   OriginalPaper Pages: 117 - 129

4. A New Heuristic for Bad Cycle Detection Using BDDs

   • R. H. Hardin
   • R. P. Kurshan
   • M. Y. Vardi

   OriginalPaper Pages: 131 - 140

5. Efficient Detection of Vacuity in Temporal Model Checking

   • Ilan Beer
   • Shoham Ben-David
   • Yoav Rodeh

   OriginalPaper Pages: 141 - 163