Granted Patent
Utility
US 6,715,135 · App. 10/060,261
Formal verification method
Inventor:
Kenji Abe
Patented Case
View Patent ↗
Granted: Mar 30, 2004
Filed: Feb 1, 2002
Inventor
Kenji Abe
Assignee (at issue)
Fujitsu Limited
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.