198
click to vote
SAS
16 years 8 days 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...
192
click to vote
SAS
16 years 8 days 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...
189
click to vote
SAS
16 years 8 days 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 ...
186
click to vote
SAS
16 years 8 days 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