Naval Research Laboratory, 4555 Overlook Ave., S.W., Washington D.C., 20375-5326

70 -- PROTOTYPE VERIFICATION SYSTEM (PVS) THEOREM PROVING ENHANCEMENTS POC Tommy Thomas, Contract Specialist, Code 3240.TG, F. Janilea Bays, Contracting Officer (202) 767-1473. This is a notice of intent from the Naval Research Laboratory (NRL) to contract on an Other Than Full And Open Competition basis to SRI International, 333 Ravenswood Ave., Menlo Park, California in accordance with Numbered Note 22. This requirement is to enhance the existing Prototype Verification System (PVS) solely originated, developed, and owned by SRI International. NRL anticipates the period of performance to be 6 months with one six month option. No solicitation will be issued. NRL Ref. No. TG05. (0165)

Loren Data Corp. http://www.ld.com (SYN# 0359 19960614\70-0010.SOL)