Verification modulo versions: towards usable verification

  title={Verification modulo versions: towards usable verification},
  author={Francesco Logozzo and Shuvendu K. Lahiri and Manuel F{\"a}hndrich and Sam Blackshear},
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


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.