Verification modulo versions: towards usable verification

@inproceedings{Logozzo2014VerificationMV,
  title={Verification modulo versions: towards usable verification},
  author={Francesco Logozzo and Shuvendu K. Lahiri and Manuel F{\"a}hndrich and Sam Blackshear},
  booktitle={PLDI},
  year={2014}
}
We introduce Verification Modulo Versions (VMV), a new static analysis technique for reducing the number of alarms reported by static verifiers while providing sound semantic guarantees. First, VMV extracts semantic environment conditions from a base program P. Environmental conditions can either be sufficient conditions (implying the safety of P) or… CONTINUE READING

6 Figures & Tables

Statistics

010203020142015201620172018
Citations per Year

67 Citations

Semantic Scholar estimates that this publication has 67 citations based on the available data.

See our FAQ for additional information.