1. Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts

   • Radu Grosu
   • Thomas Stauner

   OriginalPaper Pages: 5 - 38

2. Bisimulation Minimization and Symbolic Model Checking

   • Kathi Fisler
   • Moshe Y. Vardi

   OriginalPaper Pages: 39 - 78

3. Silicon Debug of a PowerPC™ Microprocessor Using Model Checking

   • Richard Raimi
   • James Lear

   OriginalPaper Pages: 79 - 94

4. Efficient Combinational Verification Using Overlapping Local BDDs and a Hash Table

   • Rajarshi Mukherjee
   • Jawahar Jain
   • Masahiro Fujita

   OriginalPaper Pages: 95 - 101