Accelerating high-level bounded model checking
US7853906B2 · kind B2 · utility
7Cited by
1References
5Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Mar 22, 2007 |
| Grant date | Dec 14, 2010 |
| Priority date | — |
| Expiry date | Dec 26, 2027 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/3323
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
An accelerated High-Level Bounded Model Checking method that efficiently extracts high-level information from the model, uses that extracted information to obtain an improved verification model, and applies relevant information on-the-fly to simplify the BMC-problem instances.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.