Rome Laboratory/PK, 26 Electronic Parkway, Rome NY 13441-4514

A -- HARDWARE VERIFICATION TECHNOLOGY TRANSFER: APPLICATION OF FORMAL METHODS AND MODELING TO THE ARM6 POC Capt. Anthony W. Wann, Contract Specialist, AC315-330-7690. CNT F30602-96-C-0252 AMT $115,384.00 DTD 083096 TO Odyssey Research Associates, Inc., 301 Dates Drive, Ithaca NY 14850- 1326 (0254)

Loren Data Corp. http://www.ld.com (SYN# 0307 19960911\A-0005.AWD)