20 search results - page 1 / 4 » Graph-based verification of static program constraints |
SAC
2010
ACM
13 years 5 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
AGP
2010
IEEE
13 years 9 months ago
2010
IEEE
BIRTHDAY
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
AOSD
2007
ACM
13 years 8 months ago
2007
ACM
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
POPL
2001
ACM
14 years 5 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...