Issued Patents 2011
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8005661 | Modeling and verification of concurrent systems using SMT-based BMC | Aarti Gupta | 2011-08-23 |
| 7949511 | System and method for tunneling and slicing based BMC decomposition | — | 2011-05-24 |
| 7930659 | Software verification | Franjo Ivancic, Aarti Gupta, Himanshu Jain | 2011-04-19 |