89
Voted
SAS
15 years 5 months ago
2004 Springer 
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
119
click to vote
SAS
15 years 5 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...
SAS
15 years 5 months ago
2004 Springer 
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
105
click to vote
SAS
15 years 5 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