157
click to vote
SAS
15 years 10 months ago
2004 Springer 
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
148
click to vote
SAS
15 years 10 months ago
2004 Springer 
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
148
click to vote
SAS
15 years 10 months ago
2004 Springer 
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
146
click to vote
SAS
15 years 10 months ago
2004 Springer 
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
|
Formal Methods