Issued Patents All Time
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12206678 | Network reachability solving algorithm based on formal verification | Rui Chu Chang, Yongwang Zhao, Chenyang Yu | 2025-01-21 |
| 11868481 | Method for discovering vulnerabilities of operating system access control mechanism based on model checking | Rui Chu Chang, Shaoping Pan, Kui REN | 2024-01-09 |