Is a
Patent attributes
Patent Jurisdiction
Patent Number
Patent Inventor Names
Nicholas Alexander Allen0
Date of Patent
September 20, 2016
0Patent Application Number
137337800
Date Filed
January 3, 2013
0Patent Citations Received
Patent Primary Examiner
Patent abstract
Systems and methods are described for analyzing and verifying distributed applications. In one embodiment, an application program is executed as independently executable components. During execution, redundant portions of application program data are aggregated. A property of the application program is verified using the aggregated application program data to represent code execution paths.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
