Granted Patent
Utility
US 6,588,009 · App. 09/450,325
Method and apparatus for compiling source code using symbolic execution
Inventors:
Jan Guffens, Kurt Du Pont
Patented Case
View Patent ↗
Granted: Jul 1, 2003
Filed: Nov 29, 1999
Inventors
Jan Guffens
Kurt Du Pont
Assignee (at issue)
Adelante Technologies NV
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.