Todd Millstein
3Patents
3h-index
5Co-inventors
39Inventor score
Filing activity: Jan 5, 2001 → Jun 17, 2005
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US7024661B2 | System and method for verifying computer program correctness and providing recoverable execution trace information | Physics | 17 | Expired |
| US7058925B2 | System and method for generating a predicate abstraction of a program | Physics | 15 | Expired |
| US7657867B2 | System and method for generating a predicate abstraction of a program | Physics | 3 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.