3342 search results - page 258 / 669 » Automating Abstract Interpretation |
125
Voted
PTS
1998
15 years 5 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
123
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
One of the challenging problems for software developers is guaranteeing that a system as built is consistent with its architectural design. In this paper we describe a technique t...
139
Voted
SARA
2009
Springer
15 years 10 months ago
2009
Springer
We present algorithms for testing the satisfiability and finding the tightened transitive closure of conjunctions of addition constraints of the form ±x ± y ≤ d and bound co...
103
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
131
Voted
SAS
2004
Springer
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...