Formal Methods in System Design, Volume 20
Volume 20, Number 1, January 2002
: A Simple, Object-Based View of Multiprogramming. 23-45
: The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2. 91-106
Volume 20, Number 2, March 2002
, Warren A. Hunt Jr.
: Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability. 187-222
Volume 20, Number 3, May 2002