Program verification through symbolic enumeration of control path programs
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Mar 19, 2013
Grant Date -
Jan 7, 2010
app pub date -
Feb 26, 2009
filing date -
Jul 7, 2008
priority date (Note) -
In Force
status (Latency Note)
Importance
Abstract
Systems and methods are disclosed to verify a program by symbolically enumerating path programs; verifying each path program to determine if the path program is correct or leads to a violation of a correctness property; determining a conflict set from the path program if the path program is proved correct; using the conflict set to avoid enumerating other related path programs that are also correct.
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