| 7926037 |
Hiding irrelevant facts in verification conditions |
Michael Barnett |
2011-04-12 |
| 7774787 |
Method for specifying and verifying multi-threaded object-oriented programs with invariants |
Wolfram Schulte, Bart Jacobs |
2010-08-10 |
| 7590978 |
Inferring object invariant method and system |
Bor-Yuh Chang |
2009-09-15 |
| 7559054 |
Abstract interpretation with a congruence abstract domain and/or a heap succession abstract domain |
Bor-Yuh Chang |
2009-07-07 |
| 7120902 |
Method and apparatus for automatically inferring annotations |
Cormac Flanagan |
2006-10-10 |
| 7024661 |
System and method for verifying computer program correctness and providing recoverable execution trace information |
Todd Millstein, James B. Saxe |
2006-04-04 |
| 6978443 |
Method and apparatus for organizing warning messages |
Cormac Flanagan |
2005-12-20 |
| 6353925 |
System and method for lexing and parsing program annotations |
Raymond Stata, Cormac Flanagan, Mark David Lillibridge, James B. Saxe |
2002-03-05 |
| 5987252 |
Method and apparatus for statically analyzing a computer program for data dependencies |
Mark David Lillibridge, Raymond Stata |
1999-11-16 |
