System and method for generating error traces for concurrency bugs
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Sep 3, 2013
Grant Date -
May 14, 2009
app pub date -
Sep 30, 2008
filing date -
Nov 14, 2007
priority date (Note) -
In Force
status (Latency Note)
Importance
Abstract
A system and method for program verification includes generating a product transaction graph for a concurrent program, which captures warnings for potential errors. The warnings are filtered to remove bogus warnings, by using constraints from synchronization primitives and invariants that are derived by performing one or more dataflow analysis methods for concurrent programs. The dataflow analysis methods are applied in order of overhead expense. Concrete execution traces are generated for remaining warnings using model checking.
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Advertisement
Advertisement
Advertisement
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