Patents/Inventors

John Byron Cook

Brooklyn, NYUS5 patents

6 Patents

US124370802025
Automated Packetless Network Reachability Analysis
Amazon Technologies, Inc.
0 cites
US120347272024
Analysis of Role Reachability with Transitive Tags
Amazon Technologies, Inc.
0 cites
US118614092024
Distributed Decomposition of String-automated Reasoning Using Predicates
Amazon Technologies, Inc.
0 cites
US117973172023
Transitioning Legacy Software to Be Provably Correct
Amazon Technologies, Inc.
0 cites
US117578862023
Analysis of Role Reachability Using Policy Complements
Amazon Technologies, Inc.
0 cites
US116714422023
Automated Packetless Network Reachability Analysis
Amazon Technologies, Inc.
0 cites