Constraint verification for distributed applications
Number of patents in Portfolio can not be more than 2000
United States of America
Stats
-
Jul 12, 2016
Issued Date -
N/A
app pub date -
Jan 3, 2013
filing date -
Jan 3, 2013
priority date (Note) -
Withdrawn
status (Latency Note)
Importance
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.
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address
Add to Portfolio(s)
To add this patent to one, or more, of your portfolios, simply click the add button.
This Patent is in these Portfolios:
Add to additional portfolios:
Last Refreshed On:
Changes done successfully