Department of the Navy, DoD.
The invention listed below is assigned to the United States Government as represented by the Secretary of the Navy and is available for licensing by the Department of the Navy. Navy Case No. 83,234, entitled “Combining a Constraint Solvers with a BDD for Automatic Invariant Checking”.
Requests for information about the invention cited should be directed to the Naval Research Laboratory, Code 1004, 4555 Overlook Avenue, SW, Washington, DC 20375-5320, and must include the Navy Case number.Start Further Info
FOR FURTHER INFORMATION CONTACT:
Catherine M. Cotell, Ph.D., Head, Technology Transfer Office, NRL Code 1004, 4555 Overlook Avenue, SW, Washington, DC 20375-5320, telephone (202) 767-7230. Due to temporary U.S. Postal Service delays, please fax (202) 404-7920, E-Mail: firstname.lastname@example.org or use courier delivery to expedite response.Start Signature
Dated: May 1, 2002.
R. E. Vincent II,
Lieutenant Commander, Judge Advocate General's Corps, U.S. Navy, Federal Register Liaison Officer.
[FR Doc. 02-11248 Filed 5-6-02; 8:45 am]
BILLING CODE 3810-FF-P