Issued Patents All Time
Showing 1–7 of 7 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7644377 | Generating a configuration of a system that satisfies constraints contained in models | Akhil Sahai, Sharad Singhal, Lyle H. Ramshaw | 2010-01-05 |
| 7024661 | System and method for verifying computer program correctness and providing recoverable execution trace information | K. Rustan M. Leino, Todd Millstein | 2006-04-04 |
| 6553362 | Case-reduced verification condition generation system and method using weakest precondition operator expressed using strongest postcondition operators | Charles Gregory Nelson, David L. Detlefs | 2003-04-22 |
| 6353925 | System and method for lexing and parsing program annotations | Raymond Stata, Cormac Flanagan, K. Rustan M. Leino, Mark David Lillibridge | 2002-03-05 |
| 6343376 | System and method for program verification and optimization | Charles Gregory Nelson, David L. Detlefs | 2002-01-29 |
| 5835745 | Hardware instruction scheduler for short execution unit latencies | David J. Sager | 1998-11-10 |
| 5631908 | Method and apparatus for generating and implementing smooth schedules for forwarding data flows across cell-based switches | — | 1997-05-20 |