Computer implemented cover process approximating quantifier elimination
US7606774B2 · kind B2 · utility
2Cited by
0References
9Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Jun 21, 2006 |
| Grant date | Oct 20, 2009 |
| Priority date | — |
| Expiry date | Oct 28, 2027 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3608
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A computer implemented cover process is disclosed for use in program analysis and verification techniques where existential quantifier elimination is not possible. The cover process allows an accurate assessment of the viability of a theory. Where a theory can be described using quantifier-free formulas, it can be shown that the program analysis and verification techniques using cover are not only sound (i.e., an indication of validity is reliable), but also precise (i.e., and indication of an error is reliable).
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.