Issued Patents 2016
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9372785 | Identifying implicit assumptions associated with a software product | Rui WANG, Yuchen Zhou, Shuo Chen, Yuri Gurevich | 2016-06-21 |
| 9329877 | Static verification of parallel program code | Alastair Francis Donaldson | 2016-05-03 |