1. Editorial

   • Robert K. Brayton
   • Edmund M. Clarke
   • P. A. Subrahmanyam

   EditorialNotes Pages: 5 - 5

2. Modular abstractions for verifying real-time distributed systems

   • Hana De-Leon
   • Orna Grumberg

   OriginalPaper Pages: 7 - 43

3. On the comparison of HOL and Boyer-Moore for formal hardware verification

   • C. M. Angelo
   • D. Verkest
   • D. H. De Man

   OriginalPaper Pages: 45 - 72

4. Using fixed-point semantics to prove retiming lemmas

   • Stephen Brookes

   OriginalPaper Pages: 73 - 91

5. Gate-delay-fault testability properties of multiplexor-based networks

   • Pranav Ashar
   • Srinivas Devadas
   • Kurt Keutzer

   OriginalPaper Pages: 93 - 112