Volume 22, Number 1, January 2003

• 
  Howard Bowman, Helen Cameron, Peter R. King, Simon J. Thompson: Mexitl: Multimedia in Executable Interval Temporal Logic. 5-38
• 
  Martin Keim, Rolf Drechsler, Bernd Becker, Michael Martin, Paul Molitor: Polynomial Formal Verification of Multipliers. 39-58
• 
  Béatrice Bérard, Laurent Fribourg, Francis Klay, Jean-François Monin: Compared Study of Two Correctness Proofs for the Standardized. 59-86

Volume 22, Number 2, March 2003

Special Issue on Industrial Practice of Formal Hardware Verification: A Sampling

• 
  Ganesh Gopalakrishnan, Warren A. Hunt Jr.: Industrial Practice of Formal Hardware Verification: A Sampling. 95-99
• 
  Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal: Model Checking at IBM. 101-108
• 
  Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park: Experience with Applying Formal Methods to Protocol Specification and System Architecture. 109-116
• 
  Magdy S. Abadir, Ken Albin, John Havlicek, Narayanan Krishnamurthy, Andrew K. Martin: Formal Verification Successes at Motorola. 117-123
• 
  Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu: Checking Cache-Coherence Protocols with TLA⁺. 125-131
• 
  Steven M. German: Formal Design of Cache Memory Protocols in IBM. 133-141
• 
  John Harrison: Formal Verification of Square Root Algorithms. 143-153
• 
  Pascalin Amagbégnon, Uri Barkai: Verifying the Implementation of an Error Control Code. 155-161
• 
  William Adams, Warren A. Hunt Jr., Damir Jamsek: Verisym: Verifying Circuits by Symbolic Simulation. 163-173

Volume 22, Number 3, May 2003

• 
  Signe J. Silver, Janusz A. Brzozowski: True Concurrency in Models of Asynchronous Circuit Behavior. 183-203
• 
  Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal: BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. 205-224
• 
  Wing Lok Yeung, Steve Schneider: Design and Verification of Distributed Recovery Blocks with CSP. 225-248
• 
  J. J. T. Kleijn, Michel A. Reniers, J. E. Rooda: Analysis of an Industrial System. 249-282