138
click to vote
SAS
15 years 10 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...
155
Voted
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...
139
click to vote
SAS
15 years 10 months ago
2004 Springer 
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
145
click to vote
SAS
15 years 10 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