Using symbolic evaluation to validate models that have incomplete information
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Feb 3, 2009
Grant Date -
Dec 2, 2004
app pub date -
Feb 3, 2004
filing date -
May 21, 2003
priority date (Note) -
Expired
status (Latency Note)
Importance
Abstract
An arrangement calculates a description of potential responses of a distributed system in response to at least one input stimulus. The distributed system including nodes whose operation is described by respective node behavior descriptions. The method involves applying symbolic evaluation to plural node behavior descriptions so as to produce plural response descriptions that describe responses of nodes, and combining at least the plural response descriptions so as to arrive at the description of potential responses of the distributed system.
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