Automated packetless network reachability analysis
US-12437080-B2 · Oct 7, 2025 · US
This page is not indexed by search engines while we improve data quality.
Mclaughlin Sean patents
Mclaughlin Sean is listed as an inventor on 24 patents in our database. Major assignees and classification codes are summarized below.
| Metric | Value |
|---|---|
| Inventor | Mclaughlin Sean |
| Total patents | 24 |
| First publication | May 24, 2018 |
| Latest publication | Oct 7, 2025 |
Notable patents
Publications ranked by popularity score, then publication date.
Virtual network verification service
US-2025016057-A1 · Jan 9, 2025 · US
Virtual network verification service
US-12126495-B2 · Oct 22, 2024 · US
Retaining Dafny specifications
US-11921616-B1 · Mar 5, 2024 · US
Transitioning legacy software to be provably correct
US-11797317-B1 · Oct 24, 2023 · US
Resource state validation of access management policies
US-11777995-B2 · Oct 3, 2023 · US
Automated packetless network reachability analysis
US-2023262087-A1 · Aug 17, 2023 · US
Automated packetless network reachability analysis
US-11671442-B2 · Jun 6, 2023 · US
Resource state validation of access management policies
US-2022201043-A1 · Jun 23, 2022 · US
Automated software verification service
US-11232015-B2 · Jan 25, 2022 · US
Recent patents
Latest publications not already listed above.
Resource state validation of access management policies
US-11218511-B1 · Jan 4, 2022 · US
Automated packetless network reachability analysis
US-2021392157-A1 · Dec 16, 2021 · US
Virtual network verification service
US-2021377126-A1 · Dec 2, 2021 · US
Automated packetless network reachability analysis
US-11108805-B2 · Aug 31, 2021 · US
Virtual network verification service
US-11095523-B2 · Aug 17, 2021 · US
Constraint solver execution service and infrastructure therefor
US-10977111-B2 · Apr 13, 2021 · US
Automated software verification service
US-2020257611-A1 · Aug 13, 2020 · US
Automated software verification service
US-10664379-B2 · May 26, 2020 · US
Automated software verification service
US-2020073783-A1 · Mar 5, 2020 · US
Constraint solver execution service and infrastructure therefor
US-2020073739-A1 · Mar 5, 2020 · US
Virtual network verification service
US-2020067785-A1 · Feb 27, 2020 · US
Automated packetless network reachability analysis
US-2020007569-A1 · Jan 2, 2020 · US
Virtual network verification service
US-10469324-B2 · Nov 5, 2019 · US
Virtual network verification service
US-2018145879-A1 · May 24, 2018 · US
Major assignees
Companies most often associated with this inventor's publications.
| Assignee | Patents |
|---|---|
| Amazon Tech Inc | 24 |
Top CPC classifications
Most common classification codes across this inventor's patents.
| CPC | Patents |
|---|---|
| H04L41/12 | 13 |
| G06F9/45558 | 9 |
| H04L63/20 | 9 |
| H04L41/0803 | 7 |
| H04L12/4641 | 7 |