Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7962901 | Using dynamic analysis to improve model checking | Trishul Chilimbi | 2011-06-14 |
SM
Stephen McCamant
Overall (All Time): #3,253,361 of 4,157,543Top 80%
1
Patents All Time