Inventor
MCLAUGHLIN SEAN
US15 patents
⚠️ This page may combine multiple inventors who share the name “MCLAUGHLIN SEAN”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
AMAZON TECH INC
13 patentsUS10469324B2Nov 5, 2019
Virtual network verification service
AMAZON TECH INC6 citations83
US11218511B1Jan 4, 2022
Resource state validation of access management policies
AMAZON TECH INC8 citations82
US10977111B2Apr 13, 2021
Constraint solver execution service and infrastructure therefor
AMAZON TECH INC9 citations81
US11095523B2Aug 17, 2021
Virtual network verification service
AMAZON TECH INC3 citations72
US11797317B1Oct 24, 2023
Transitioning legacy software to be provably correct
AMAZON TECH INC4 citations69
US11671442B2Jun 6, 2023
Automated packetless network reachability analysis
AMAZON TECH INC1 citations69
US11108805B2Aug 31, 2021
Automated packetless network reachability analysis
AMAZON TECH INC1 citations69
US12126495B2Oct 22, 2024
Virtual network verification service
AMAZON TECH INC0 citations62
US11777995B2Oct 3, 2023
Resource state validation of access management policies
AMAZON TECH INC0 citations59
US11232015B2Jan 25, 2022
Automated software verification service
AMAZON TECH INC0 citations59
US10664379B2May 26, 2020
Automated software verification service
AMAZON TECH INC1 citations59
US12437080B2Oct 7, 2025
Automated packetless network reachability analysis
AMAZON TECH INC0 citations57
US11921616B1Mar 5, 2024
Retaining Dafny specifications
AMAZON TECH INC0 citations53