1914 search results - page 2 / 383 » Verification by Abstract Interpretation |
95
Voted
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
105
Voted
ENTCS
2000
15 years 3 months ago
2000
122
click to vote
SE
2007
15 years 5 months ago
2007
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...
111
click to vote
FUIN
2008
15 years 4 months ago
2008
Abstract. The layering that is present in many OO designs is not accounted for in current interpretations of invariants. We propose to make layers explicit in specifications and in...
231
click to vote
POPL
2002
ACM
16 years 4 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...