Inventor · disambiguated record
Todd Millstein
Also filed as: MILLSTEIN TODD D · MILLSTEIN TODD DAVID
3 granted patents·69 citations·filing 2001–2005
73Inventor score
Technology areasG06F
Top patents by PatentIndex Score
3 records- 0180US7024661B2System and method for verifying computer program correctness and providing recoverable execution trace informationHEWLETT PACKARD DEVELOPMENT CO·Filed 2001·Granted Apr 4, 2006·37 cites·47 claims
- 0277US7058925B2System and method for generating a predicate abstraction of a programMICROSOFT CORP·Filed 2002·Granted Jun 6, 2006·27 cites·23 claims
- 0369US7657867B2System and method for generating a predicate abstraction of a programMICROSOFT CORP·Filed 2005·Granted Feb 2, 2010·5 cites·17 claims
Join the waitlist — get patent alerts
Get an alert when Todd Millstein files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →