Analyzing an extended finite state machine system model
US6694290B1 · kind B1 · utility
17Cited by
15References
17Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | May 25, 1999 |
| Grant date | Feb 17, 2004 |
| Priority date | — |
| Expiry date | May 25, 2019 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3688
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method of using a computer to analyze an extended finite state machine model of a system includes receiving at least one requirement expression, determining at least one path of states and transitions through the model, evaluating at least one of the requirement expressions based on at least one of the determined paths through the model to determine whether the path satisfies the requirement expression, and generating a report based on the evaluating.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.