179
Voted
SAS
15 years 11 months ago
2004 Springer  170
Voted
SAS
15 years 11 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...
164
Voted
SAS
15 years 11 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 ...
162
click to vote
SAS
15 years 11 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...
160
Voted
SAS
15 years 11 months ago
2004 Springer 
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
|
Formal Methods