Todd D. Millstein

Follow

Person

Seattle, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
System and method for generating a predicate abstraction of a program
- Patent number 7,657,867
- Issue date Feb 2, 2010
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generating a predicate abstraction of a program
- Patent number 7,058,925
- Issue date Jun 6, 2006
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for verifying computer program correctness and pr...
- Patent number 7,024,661
- Issue date Apr 4, 2006
- Hewlett-Packard Development Company, L.P.
- K. Rustan M. Leino
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
System and method for generating a predicate abstraction of a program
- Publication number 20050235257
- Publication date Oct 20, 2005
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for generating a predicate abstraction of a program
- Publication number 20030204834
- Publication date Oct 30, 2003
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for verifying computer program correctness and pr...
- Publication number 20020046393
- Publication date Apr 18, 2002
- K. Rustan M. Leino
- G06 - COMPUTING CALCULATING COUNTING