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 BibTeX
- Martin Keim, Rolf Drechsler, Bernd Becker, Michael Martin, Paul Molitor:
Polynomial Formal Verification of Multipliers.
39-58 BibTeX
- Béatrice Bérard, Laurent Fribourg, Francis Klay, Jean-François Monin:
Compared Study of Two Correctness Proofs for the Standardized.
59-86 BibTeX
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
Electronic Edition (link) BibTeX
- Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal:
Model Checking at IBM.
101-108
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Magdy S. Abadir, Ken Albin, John Havlicek, Narayanan Krishnamurthy, Andrew K. Martin:
Formal Verification Successes at Motorola.
117-123
Electronic Edition (link) BibTeX
- Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu:
Checking Cache-Coherence Protocols with TLA+.
125-131
Electronic Edition (link) BibTeX
- Steven M. German:
Formal Design of Cache Memory Protocols in IBM.
133-141
Electronic Edition (link) BibTeX
- John Harrison:
Formal Verification of Square Root Algorithms.
143-153
Electronic Edition (link) BibTeX
- Pascalin Amagbégnon, Uri Barkai:
Verifying the Implementation of an Error Control Code.
155-161
Electronic Edition (link) BibTeX
- William Adams, Warren A. Hunt Jr., Damir Jamsek:
Verisym: Verifying Circuits by Symbolic Simulation.
163-173
Electronic Edition (link) BibTeX
Volume 22,
Number 3,
May 2003
Copyright © Sat May 16 23:59:09 2009
by Michael Ley (ley@uni-trier.de)