Notice of Availability of Invention for Licensing; Government-Owned Invention

---
identifier: "/us/fr/02-11248"
source: "fr"
legal_status: "authoritative_unofficial"
title: "Notice of Availability of Invention for Licensing; Government-Owned Invention"
title_number: 0
title_name: "Federal Register"
section_number: "02-11248"
section_name: "Notice of Availability of Invention for Licensing; Government-Owned Invention"
positive_law: false
currency: "2002-05-07"
last_updated: "2002-05-07"
format_version: "1.1.0"
generator: "[email protected]"
agency: "Defense Department"
document_number: "02-11248"
document_type: "notice"
publication_date: "2002-05-07"
agencies:
  - "Defense Department"
  - "Navy Department"
fr_citation: "67 FR 30652"
fr_volume: 67
fr_action: "Notice."
---


#  Notice of Availability of Invention for Licensing; Government-Owned Invention

**AGENCY:**

Department of the Navy, DoD.

**ACTION:**

Notice.

**SUMMARY:**

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”.

**ADDRESSES:**

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.

**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: *[email protected]* or use courier delivery to expedite response.

( *Authority:* 35 U.S.C. 207, 37 CFR Part 404)

Dated: May 1, 2002.

R. E. Vincent II,

Lieutenant Commander, Judge Advocate General's Corps, U.S. Navy, Federal Register Liaison Officer.