10 search results - page 1 / 2 » Non-disjunctive Numerical Domain for Array Predicate Abstrac... |
ESOP
2008
Springer
14 years 29 days ago
2008
Springer
SAS
2010
Springer
13 years 9 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
SAC
2008
ACM
13 years 10 months ago
2008
ACM
s: A Weakly Relational Abstract Domain for the Efficient Validation of Array Accesses Francesco Logozzo Microsoft Research, Redmond, WA, USA Manuel F
KBSE
2007
IEEE
14 years 5 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
POPL
2002
ACM
14 years 11 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...