Kuraby
Australia
9
2021-02-04
The entities that hold a legal rights for patent applications filed by inventor Keynes Nathan Robert Albert:
Nathan Robert Albert Keynes from Kuraby, AU has applied for patents for these inventions. The list has both pending applications and granted patents:
Verification of software-defined networking (SDN) policies for specific topologies
#2 | 2020-10-01Path-sensitive static analysis
#3 | 2019-12-19Happens-before-based dynamic concurrency analysis for actor-based programs
#4 | 2019-09-26Efficient timestamp solution for analyzing concurrent software systems
#5 | 2013-01-31Method and system for performing backward-driven path-sensitive dataflow analysis
#6 | 2012-11-29Points-to analysis using value flow
#7 | 2012-11-29Context-sensitive analysis framework using value flows
#8 | 2011-07-21System and method for overflow detection using partial evaluations
#9 | 2011-06-23System and method for overflow detection using symbolic analysis
72017 ⎘