1356 search results - page 246 / 272 » The ideal of verified software |
WWW
2006
ACM
16 years 14 days ago
2006
ACM
As the popularity of the web increases and web applications become tools of everyday use, the role of web security has been gaining importance as well. The last years have shown a...
194
click to vote
POPL
2009
ACM
16 years 13 days ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
212
click to vote
POPL
2009
ACM
16 years 13 days ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
189
click to vote
POPL
2009
ACM
16 years 13 days ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
130
click to vote
PPOPP
2009
ACM
16 years 10 days ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...