Company Filing History:

3 out of 27,394

Hewlett-packard Development Company, L.p.

patents

3 out of 54,638

Microsoft Technology Licensing, LLC

patents

1 out of 2,019

Compaq Computer Corporation, Inc.

patents

Years Active: 2002-2011

Loading Chart...

7 patents (USPTO):Sort by Forward CitationsExplore Patents

1. 7926037 - Hiding irrelevant facts in verification conditions (2011-04-12),

2. 7774787 - Method for specifying and verifying multi-threaded object-oriented programs with invariants (2010-08-10),

3. 7559054 - Abstract interpretation with a congruence abstract domain and/or a heap succession abstract domain (2009-07-07),

4. 7120902 - Method and apparatus for automatically inferring annotations (2006-10-10),

5. 7024661 - System and method for verifying computer program correctness and providing recoverable execution trace information (2006-04-04),

6. 6978443 - Method and apparatus for organizing warning messages (2005-12-20),

7. 6353925 - System and method for lexing and parsing program annotations (2002-03-05),

This text is generated by artificial intelligence and may not be accurate.

Please report any incorrect information to support@idiyas.com

Inventor’s Patent Attorneys refers to legal professionals with specialized expertise in representing inventors throughout the patent process. These attorneys assist inventors in navigating the complexities of patent law, including filing patent applications, conducting patent searches, and protecting intellectual property rights. They play a crucial role in helping inventors secure patents for their innovative creations.

For the Inventor, By the Inventor

K Rustan M Leino

Location History:

Company Filing History:

Years Active: 2002-2011