Object-based systematic state space exploration of software
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Apr 28, 2009
Grant Date -
Apr 21, 2005
app pub date -
Feb 13, 2004
filing date -
Oct 15, 2003
priority date (Note) -
Expired
status (Latency Note)
Importance
Abstract
The state space of modeled software can be explored using an object-based systematic state explorer. The object-based model can perform well even in light of the complexities of concurrent software. During state space exploration, differences between states can be stored instead of storing a complete copy of the state.
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