| 75 | -- | 76 | Scott D. Stoller, Willem Visser. Foreword |
| 77 | -- | 101 | Patrice Godefroid. Software Model Checking: The VeriSoft Approach |
| 103 | -- | 135 | John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger. Verifying Time Partitioning in the DEOS Scheduling Kernel |
| 137 | -- | 180 | Radu Iosif, Matthew B. Dwyer, John Hatcliff. Translating Java for Multiple Model Checkers: The Bandera Back-End |
| 183 | -- | 196 | Scott D. Stoller, Fred B. Schneider. Automated Analysis of Fault-Tolerance in Distributed Systems |
| 197 | -- | 219 | Orna Grumberg, Tamir Heyman, Assaf Schuster. Distributed Symbolic Model Checking for µ-Calculus |