Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7526750 | Object-based systematic state space exploration of software | Anthony D. Andrews, Shaz Qadeer, Niels Jakob Rehof, Sriram K. Rajamani | 2009-04-28 |
YX
Yichen Xie
Overall (All Time): #3,324,156 of 4,157,543Top 80%
1
Patents All Time