Using dynamic analysis to improve model checking
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Jun 14, 2011
Grant Date -
Oct 18, 2007
app pub date -
Apr 17, 2006
filing date -
Apr 17, 2006
priority date (Note) -
Expired
status (Latency Note)
Importance
Abstract
Model checking has been used to verify program behavior. However, exploration of the model is often impractical for many general purpose programs due to the complexity of an exploding state space. Instead, a program is instrumented with code that records pointer dereference information. The instrumented program is executed thereby recording pointer dereference frequency information. Then, a model of the program is explored using the pointer dereference frequency information to direct state space exploration of the model.
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