Granted Patent
Utility
US 6,029,002 · App. 08/555,932
Method and apparatus for analyzing computer code using weakest precondition
Inventors:
Ashraf Afifi, Dominic Chan, Joseph J. Comuzzi, Johnson M. Hart, Antonio Pizzarello
Patented Case
View Patent ↗
Granted: Feb 22, 2000
Filed: Nov 13, 1995
Inventors
Ashraf Afifi
Dominic Chan
Joseph J. Comuzzi
Johnson M. Hart
Antonio Pizzarello
Assignee (at issue)
Peritus Software Services, Inc.
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.