Issued Patents 2011
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8005661 | Modeling and verification of concurrent systems using SMT-based BMC | Malay Ganai | 2011-08-23 |
| 8006239 | Program analysis using symbolic ranges | Sriram Sankaranarayanan, Franjo Ivancic, Ilya SHLYAKHTER | 2011-08-23 |
| 7930659 | Software verification | Franjo Ivancic, Malay Ganai, Himanshu Jain | 2011-04-19 |
| 7926039 | Reachability analysis for program verification | Chao Wang, Zijiang Yang | 2011-04-12 |