NASA/Langley Research Center, Mail Stop 144, Industry Assistance Office, Hampton, VA 23681-0001

A -- NRA 99-LARC-04 "TIMING ANALYSIS BY MODEL CHECKING" POC C. Lynn Jenkins, Contract Specialist, Phone (757) 864-3284, Fax (757) 864-6131, Email C.L.JENKINS@larc.nasa.gov -- Mary Jane Yeager, Contracting Officer, Phone (757) 864-2473, Fax (757) 864-6131, Email M.J.YEAGER@larc.nasa.gov CNT NAS1-00100 AMT $990735 DTD 042000 TO Odyssey Research Associates (ORA), Inc. Cornell Business & Technology Park 33 Thornwood Drive, Suite 500 Ithaca NY 14850-1250 WEB: Langley Research Center Procurement Synopses of Contract, http://nais.msfc.nasa.gov/cgi-bin/EPS/bizops.cgi?gr=A&pin=23#NAS1-00100010 0. Posted 05/03/00 (D-SN450838). (0124)

Loren Data Corp. http://www.ld.com (SYN# 0340 20000505\A-0002.AWD)