| 12437080 |
Automated packetless network reachability analysis |
Catherine Dodge, Nikhil Reddy Cheruku, John Berkeley Cook, Temesghen Kahsai Azene, William Jo Kocik +3 more |
2025-10-07 |
|
| 12126495 |
Virtual network verification service |
John Cook, Catherine Dodge |
2024-10-22 |
$353,759,000 |
| 11921616 |
Retaining Dafny specifications |
Tongtong Xiang, Marianna Rapoport, Neha Rungta, Matthias Schlaipfer, Florian Rabe |
2024-03-05 |
$300,464,000 |
| 11797317 |
Transitioning legacy software to be provably correct |
Tongtong Xiang, Matthias Schlaipfer, Neha Rungta, Serdar Tasiran, John Cook +1 more |
2023-10-24 |
$217,954,000 |
| 11777995 |
Resource state validation of access management policies |
Ujjwal Rajkumar Pugalia, Neha Rungta, Andrew Jude Gacek, Matthias Schlaipfer, John Michael Renner +5 more |
2023-10-03 |
$186,162,000 |
| 11671442 |
Automated packetless network reachability analysis |
Catherine Dodge, Nikhil Reddy Cheruku, John Cook, Temesghen Kahsai Azene, William Jo Kocik +3 more |
2023-06-06 |
$278,271,000 |
| 11232015 |
Automated software verification service |
Juan Rodriguez Hortala, Neha Rungta, Mark R. Tuttle, Serdar Tasiran, Michael Tautschnig +3 more |
2022-01-25 |
$166,517,000 |
| 11218511 |
Resource state validation of access management policies |
Ujjwal Rajkumar Pugalia, Neha Rungta, Andrew Jude Gacek, Matthias Schlaipfer, John Michael Renner +5 more |
2022-01-04 |
$284,037,000 |
| 11108805 |
Automated packetless network reachability analysis |
Catherine Dodge, Nikhil Reddy Cheruku, John Cook, Temesghen Kahsai Azene, William Jo Kocik +3 more |
2021-08-31 |
$221,607,000 |
| 11095523 |
Virtual network verification service |
John Cook, Catherine Dodge |
2021-08-17 |
$197,703,000 |
| 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 |
$229,938,000 |
| 10664379 |
Automated software verification service |
Juan Rodriguez Hortala, Neha Rungta, Mark R. Tuttle, Serdar Tasiran, Michael Tautschnig +3 more |
2020-05-26 |
$142,951,000 |
| 10469324 |
Virtual network verification service |
John Cook, Catherine Dodge |
2019-11-05 |
$67,272,000 |
| 9358830 |
Canvas having a border capable of being transformed into a frame or shadowbox |
— |
2016-06-07 |
|
| 5061917 |
Electronic warning apparatus |
Nigel H. Higgs, John R. Storey |
1991-10-29 |
|
