Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7797669 | Analysis of distributed software systems via specification substitution | Anthony D. Andrews, Sriram K. Rajamani, Charles Antony Richard Hoare, Cedric Fournet | 2010-09-14 |
| 7779382 | Model checking with bounded context switches | Shaz Qadeer | 2010-08-17 |
| 7555418 | Procedure summaries for multithreaded software | Shaz Qadeer, Sriram K. Rajamani | 2009-06-30 |
| 7526750 | Object-based systematic state space exploration of software | Anthony D. Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie | 2009-04-28 |