Granted Patent
Utility
US 6,343,376 · App. 09/176,950
System and method for program verification and optimization
Inventors:
James B. Saxe, Charles Gregory Nelson, David L. Detlefs
Patented Case
View Patent ↗
Granted: Jan 29, 2002
Filed: Oct 22, 1998
Inventors
James B. Saxe
Charles Gregory Nelson
David L. Detlefs
Assignee (at issue)
Computer Computer Corporation
This patent predates the USPTO's electronic file wrapper — prosecution documents from this era exist only in the Patent Office's paper records. A certified copy of the file history can be ordered from the USPTO's paper archives.