Seattle, Washington
United States
14
2025-01-09
The entities that hold a legal rights for patent applications filed by inventor McLaughlin Sean:
Sean McLaughlin from Seattle, US has applied for patents for these inventions. The list has both pending applications and granted patents:
VIRTUAL NETWORK VERIFICATION SERVICE
#2 | 2024-03-05Retaining Dafny specifications
#3 | 2023-10-24Transitioning legacy software to be provably correct
#4 | 2023-08-17AUTOMATED PACKETLESS NETWORK REACHABILITY ANALYSIS
#5 | 2022-06-23Resource state validation of access management policies
#6 | 2022-01-04Resource state validation of access management policies
#7 | 2021-12-16Automated packetless network reachability analysis
#8 | 2021-12-02Virtual network verification service
#9 | 2020-08-13Automated software verification service
#10 | 2020-03-05Automated software verification service
#11 | 2020-03-05Constraint solver execution service and infrastructure therefor
#12 | 2020-02-27Virtual network verification service
#13 | 2020-01-02Automated packetless network reachability analysis
#14 | 2018-05-24Virtual network verification service
2199254 ⎘