Granted Patent
Utility
US 6,074,426 · App. 09/042,373
Method for automatically generating behavioral environment for model checking
Inventors:
Jason R. Baumgartner, Nadeem Malik
Patented Case
View Patent ↗
Granted: Jun 13, 2000
Filed: Mar 13, 1998
Inventors
Jason R. Baumgartner
Nadeem Malik
Assignee (at issue)
International Business Machines 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.