Issued Patents 2018
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10133649 | System and methods for model-based analysis of software | Guodong Li | 2018-11-20 |
| 10127135 | Systems and methods for incremental analysis of software | Guodong Li | 2018-11-13 |
| 10127386 | Systems and methods for adaptive analysis of software | Guodong Li | 2018-11-13 |
| 10122749 | Systems and methods for analyzing software using queries | Guodong Li | 2018-11-06 |