Method, software and processing unit for verifying properties of interactive components
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Dec 15, 2020
Grant Date -
Dec 22, 2016
app pub date -
Jun 17, 2016
filing date -
Jun 19, 2015
priority date (Note) -
In Force
status (Latency Note)
Importance
Abstract
The invention relates to the verification of properties of an interactive component having a recursive tree structure of subcomponents. The verification comprises creating an oriented graph from the tree, said oriented graph comprising arcs for the child relationships of the tree, and arcs for couplings creating upon couplings between the components. The verification comprises creating a second graph representative of the property, and verifying if the second graph is exhibited within the first oriented graph.
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