Issued Patents 2022
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11522978 | Methods, systems, and media for network model checking using entropy based BDD compression | Xingjun Chu, Mohammed El Azzab, Salaheddine Hamadi | 2022-12-06 |
| 11516089 | Methods and systems for network verification using hierarchy-based model | Xingjun Chu | 2022-11-29 |