1. Introduction

   • Rajeev Alur
   • Thomas A. Henzinger

   OriginalPaper Pages: 235 - 235

2. Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs

   • Bernard Boigelot
   • Patrice Godefroid

   OriginalPaper Pages: 237 - 255

3. Symbolic Protocol Verification with Queue BDDs

   • Patrice Godefroid
   • David E. Long

   OriginalPaper Pages: 257 - 271

4. Verifying Systems with Replicated Components in Murϕ

   • C. Norris Ip
   • David L. Dill

   OriginalPaper Pages: 273 - 310

5. Saving Space by Fully Exploiting Invisible Transitions

   • Shmuel Katz
   • Hillel Miller

   OriginalPaper Pages: 311 - 332