Formal Methods in System Design, Volume 22

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

• 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
  

Last update Fri May 17 20:05:05 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page