Patents/Inventors

Sean Mclaughlin

Seattle, WAUS5 patents

6 Patents

US124370802025
Automated Packetless Network Reachability Analysis
Amazon Technologies, Inc.
0 cites
US121264952024
Virtual Network Verification Service
Amazon Technologies, Inc.
0 cites
US119216162024
Retaining Dafny Specifications
Amazon Technologies, Inc.
0 cites
US117973172023
Transitioning Legacy Software to Be Provably Correct
Amazon Technologies, Inc.
0 cites
US117779952023
Resource State Validation of Access Management Policies
Amazon Technologies, Inc.
0 cites
US116714422023
Automated Packetless Network Reachability Analysis
Amazon Technologies, Inc.
0 cites