5255 search results - page 767 / 1051 » Formal Methods for Privacy |
185
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We provide a verification technique for a class of programs working on integer arrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL [13] to spe...
160
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
161
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Library of Numerical Abstract Domains for Static Analysis Bertrand Jeannet1 and Antoine Min?e2 1 INRIA Rh^one-Alpes, Grenoble, France, Bertrand.Jeannet@inrialpes.fr 2 CNRS, ?Ecole ...
138
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
156
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...