144
Voted
SAS
15 years 9 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...
137
Voted
SAS
15 years 9 months ago
2004 Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
136
Voted
SAS
15 years 9 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 ...
134
Voted
SAS
15 years 9 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...
|
Formal Methods