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
Copyright © Tue Nov 24 20:47:15 2009
by Michael Ley (ley@uni-trier.de)
