Issued Patents 2011
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7962901 | Using dynamic analysis to improve model checking | Stephen McCamant | 2011-06-14 |
| 7912877 | Leveraging garbage collection to dynamically infer heap invariants | Ajeet Ganesh Shankar | 2011-03-22 |