2451 search results - page 1 / 491 » The Octagon Abstract Domain |
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...
SAS
2007
Springer
15 years 4 months ago
2007
Springer
CORR
2007
Springer
14 years 10 months ago
2007
Springer
SAS
2007
Springer
15 years 4 months ago
2007
Springer
abstraction on real-valued programs David Monniaux Laboratoire d’informatique de l’´Ecole normale sup´erieure 45, rue d’Ulm, 75230 Paris cedex 5, France June 30, 2007 In t...
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct c...