Reachability analysis for program verification
US7926039B2 · kind B2 · utility
6Cited by
3References
6Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Mar 28, 2007 |
| Grant date | Apr 12, 2011 |
| Priority date | — |
| Expiry date | Feb 9, 2030 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F9/44589
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
An improved method for automatically improving the precision of an extrapolation operator used, for example, in software program verification in connection with the static analysis and model checking of the software programs which rely on fix-point computation. In particular, a new extrapolation-with-care-set operator, together with a method for gradually increasing the precision of this operation by tightening the care set.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.