Identification of missing properties in model checking
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Oct 10, 2006
Issued Date -
N/A
app pub date -
Jun 27, 2000
filing date -
Sep 23, 1999
priority date (Note) -
In Force
status (Latency Note)
Importance
Abstract
A method for verification includes providing an implementation model, which defines model states of a target system and model transitions between the model states, and providing a specification of the target system, including properties that the system is expected to obey. A tableau is created from the specification, the tableau defining tableau states with tableau transitions between the tableau states in accordance with the properties. The tableau transitions are compared to the model transitions to determine whether a discrepancy exists therebetween.
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
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