Boeing Military Aircraft Company, U.C. Davis, Cal. Polytechnic Publications

1. Fura, David and Cohen, G. C.: Interpreter Composition Issues in the Formal Verification of a Processor-Memory Module NASA Contractor Report 4594, May 1994.

2. Fisher, G. L. and Cohen, G. C.: Reference Manual for a Requirements Specfication Language (RSL) Version 2.0. NASA Contractor Report 191460, November 1993.

3. Fisher, G. L. and Cohen, G. C.: Tools Reference Manual for a Requirements Specfication Language (RSL) Version 2.0. NASA Contractor Report 191461, November 1993.

4. Levitt, Karl; and et. al.: Formal Verification of a Microcoded VIPER using HOL. NASA Contractor Report 4489, February 1993.

5. Schubert, Thomas; Levitt, Karl; and Cohen, Gerald C.: Formal Verification of a Set of Memory Management Units. NASA Contractor Report 189566, 1992.

6. Schubert, Thomas; Levitt, Karl; and Cohen, Gerald C.: Towards Composition of Verified Hardware Devices. NASA Contractor Report 187504, Nov. 1991.

7. Windley, Phillip J.; Levitt, Karl; and Cohen, Gerald C.: The Formal Verification of Generic Interpreters. NASA Contractor Report 4403, Oct. 1991.

8. Pan, Jing; Levitt, Karl; and Cohen, Gerald C.: Toward a Formal Verification of a Floating-Point Coprocessor and its Composition with a Central Processing Unit. NASA Contractor Report 187547, Aug. 1991.

9. Fisher, Gene; Frincke, Deborah; Wolber, Dave; and Cohen, Gerald C.: Structured Representation for Requirements and Specifications. NASA Contractor Report 187522, July 1991.

10. Windley, Phillip J.: The Formal Verification of Generic Interpreters. In 28th Design Automation Conference, San Franciso, CA, June 1991.

11. Windley, Phillip J.; Levitt, Karl; and Cohen, Gerald C.: Formal Proof of the AVM-1 Microprocessor Using the Concept of Generic Interpreters. NASA Contractor Report 187491, Mar. 1991.

12. Windley, Phillip J.: Abstract Hardware. In ACM International Workshop on Formal Methods in VLSI Design, Miami, FL, Jan. 1991.

13. Pan, Jing; Levitt, Karl; and Schubert, E. Thomas: Toward a Formal Verification of a Floating-Point Coprocessor and its Composition with a Central Processing Unit. In ACM International Workshop on Formal Methods in VLSI Design, Miami, FL, Jan. 1991.

14. Schubert, Thomas; and Levitt, Karl: Verification of Memory Management Units. In Second IFIP Conference on Dependable Computing For Critical Applications, Tucson, Arizona, Feb. 1991, pp. 115-123.

15. Kalvala, Sara; Archer, Myla; and Levitt, Karl: A Methodology for Integrating Hardware Design and Verification. In ACM International Workshop on Formal Methods in VLSI Design, Miami, FL, Jan. 1991.

16. Pan, Jing; and Levitt, Karl: Towards a Formal Specification of the IEEE Floating-Point Standard with Application to the Verification of Floating-Point Coprocessors. In 24th Asilomar Conference on Signals, Systems & Computers, Monterrey, CA., Nov. 1990.