1. Introduction

   • Wolfgang Emmerich
   • David Wile

   OriginalPaper Pages: 295 - 296

2. Component Verification with Automatically Generated Assumptions

   • Dimitra Giannakopoulou
   • Corina S. Păsăreanu
   • Howard Barringer

   OriginalPaper Pages: 297 - 320

3. Deviation Analysis: A New Use of Model Checking

   • Mats P. E. Heimdahl
   • Yunja Choi
   • Michael W. Whalen

   OriginalPaper Pages: 321 - 347

4. Modular Verification of Open Features Using Three-Valued Model Checking

   • Harry C. Li
   • Shriram Krishnamurthi
   • Kathi Fisler

   OriginalPaper Pages: 349 - 382

5. Desert Island Reading: Back to the Future

   • Pankaj K. Garg

   OriginalPaper Pages: 383 - 384