Method and apparatus for enforcing safety properties of computer programs by generating and solving constraints
US7730455B2 · kind B2 · utility
3Cited by
2References
27Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Nov 7, 2005 |
| Grant date | Jun 1, 2010 |
| Priority date | — |
| Expiry date | Sep 9, 2028 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F21/54
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method and apparatus is disclosed herein for generating and solving constraints. In one embodiment, the method comprises modifying program code by inserting one or more dynamic annotations having unsolved variables, generating one or more constraints based on the one or more dynamic annotations using a verifier, solving the one or more generated constraints; and modifying the program code by inserting a dynamic annotation in place of an annotation containing an unsolved variable.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.