Incremental formal verification
US8996339B2 · kind B2 · utility
4Cited by
8References
17Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Sep 7, 2011 |
| Grant date | Mar 31, 2015 |
| Priority date | — |
| Expiry date | Apr 27, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/3323
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Method, apparatus, and product for performing incremental formal verification. A computer-implemented method performed by a computerized device. The method comprises: obtaining invariants with respect to a first model; determining a portion of the invariants that are invariants with respect to a second model, and utilizing the portion of the invariants to check that the second model holds a property.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.