Leino; K. Rustan M.

Patent Applications and Registrations

Patent applications and USPTO patent grants for Leino; K. Rustan M..The latest application filed is for "hiding irrelevant facts in verification conditions".

Company Profile

0.8.7

Leino; K. Rustan M. - Bellevue WA
Leino; K. Rustan M. - Sunnyvale CA

*profile and listings may contain filings by different individuals or companies with the same name. Review application materials to confirm ownership/assignment.

Patent Activity

Patent	Date
Hiding irrelevant facts in verification conditions Grant 7,926,037 - Leino , et al. April 12, 2	2011-04-12
Method for specifying and verifying multi-threaded object-oriented programs with invariants Grant 7,774,787 - Leino , et al. August 10, 2	2010-08-10
Abstract interpretation with a congruence abstract domain and/or a heap succession abstract domain Grant 7,559,054 - Chang , et al. July 7, 2	2009-07-07
Hiding irrelevant facts in verification conditions App 20070169019 - Leino; K. Rustan M. ; et al.	2007-07-19
Abstract interpretation with a congruence abstract domain and/or a heap succession abstract domain App 20060236311 - Chang; Bor-Yuh Evan ; et al.	2006-10-19
Method and apparatus for automatically inferring annotations Grant 7,120,902 - Flanagan , et al. October 10, 2	2006-10-10
Method for specifying and verifying multi-threaded object-oriented programs with invariants App 20060155905 - Leino; K. Rustan M. ; et al.	2006-07-13
System and method for verifying computer program correctness and providing recoverable execution trace information Grant 7,024,661 - Leino , et al. April 4, 2	2006-04-04
Method and apparatus for organizing warning messages Grant 6,978,443 - Flanagan , et al. December 20, 2	2005-12-20
Method and apparatus for organizing warning messages App 20030131284 - Flanagan, Cormac Andrias ; et al.	2003-07-10
Method and apparatus for automatically inferring annotations App 20020133806 - Flanagan, Cormac Andrias ; et al.	2002-09-19
Method and apparatus for automatically inferring annotations for an extended static checker App 20020112201 - Flanagan, Cormac Andrias ; et al.	2002-08-15
System and method for verifying computer program correctness and providing recoverable execution trace information App 20020046393 - Leino, K. Rustan M. ; et al.	2002-04-18
System and method for lexing and parsing program annotations Grant 6,353,925 - Stata , et al. March 5, 2	2002-03-05
Method and apparatus for statically analyzing a computer program for data dependencies Grant 5,987,252 - Leino , et al. November 16, 1	1999-11-16

uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.

While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.

All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.