Granted Patent
Utility
US 6,725,431 · App. 09/608,746
Lazy symbolic model checking
Inventor:
Jin Young Yang
Patented Case
View Patent ↗
Granted: Apr 20, 2004
Filed: Jun 30, 2000
Inventor
Jin Young Yang
Assignee (at issue)
Intel 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.