Issued Patents 2021
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11108805 | Automated packetless network reachability analysis | Catherine Dodge, Nikhil Reddy Cheruku, John Cook, Temesghen Kahsai Azene, William Jo Kocik +3 more | 2021-08-31 |
| 11095523 | Virtual network verification service | John Cook, Catherine Dodge | 2021-08-17 |
| 10977111 | Constraint solver execution service and infrastructure therefor | Neha Rungta, Temesghen Kahsai Azene, Pauline Virginie Bolignano, Kasper Soe Luckow, Catherine Dodge +5 more | 2021-04-13 |