4036 search results - page 276 / 808 » Formal Methods |
193
click to vote
SAS
2005
Springer
16 years 3 days ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
149
click to vote
SAS
2005
Springer
16 years 3 days ago
2005
Springer
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...
159
click to vote
SIGADA
2005
Springer
16 years 3 days ago
2005
Springer
Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program...
179
click to vote
SAS
2004
Springer
15 years 12 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...
169
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
hedron Abstract Domain Robert Claris´o and Jordi Cortadella Universitat Polit`ecnica de Catalunya Barcelona, Spain Abstract. An interesting area in static analysis is the study of...