K. Rustan M. Leino

Follow

Person

Bellevue, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Hiding irrelevant facts in verification conditions
- Patent number 7,926,037
- Issue date Apr 12, 2011
- Microsoft Corporation
- K. Rustan M. Leino
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for specifying and verifying multi-threaded object-oriented...
- Patent number 7,774,787
- Issue date Aug 10, 2010
- Microsoft Corporation
- K. Rustan M. Leino
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Inferring object invariant method and system
- Patent number 7,590,978
- Issue date Sep 15, 2009
- Microsoft Corporation
- Bor-Yuh Evan Chang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Abstract interpretation with a congruence abstract domain and/or a...
- Patent number 7,559,054
- Issue date Jul 7, 2009
- Microsoft Corporation
- Bor-Yuh Evan Chang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for organizing warning messages
- Patent number 6,978,443
- Issue date Dec 20, 2005
- Hewlett-Packard Development Company, L.P.
- Cormac Andrias Flanagan
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Hiding irrelevant facts in verification conditions
- Publication number 20070169019
- Publication date Jul 19, 2007
- Microsoft Corporation
- K. Rustan M. Leino
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Inferring object invariant method and system
- Publication number 20060236305
- Publication date Oct 19, 2006
- Microsoft Corporation
- Bor-Yuh Evan Chang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Abstract interpretation with a congruence abstract domain and/or a...
- Publication number 20060236311
- Publication date Oct 19, 2006
- Microsoft Corporation
- Bor-Yuh Evan Chang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for specifying and verifying multi-threaded object-oriented...
- Publication number 20060155905
- Publication date Jul 13, 2006
- Microsoft Corporation
- K. Rustan M. Leino
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for organizing warning messages
- Publication number 20030131284
- Publication date Jul 10, 2003
- Cormac Andrias Flanagan
- G06 - COMPUTING CALCULATING COUNTING