Granted Patent
Utility
US 6,343,371 · App. 09/231,856
System and method for statically detecting potential race conditions in multi-threaded computer programs
Inventors:
Cormac Flanagan, Andrew Bernard
Patented Case
View Patent ↗
Granted: Jan 29, 2002
Filed: Jan 14, 1999
Inventors
Cormac Flanagan
Andrew Bernard
Assignee (at issue)
Compaq 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.