CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties

@inproceedings{Huisman2010CVPPAT,
  title={CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties},
  author={Marieke Huisman and Dilian Gurov},
  booktitle={FoVeOOS},
  year={2010}
}
This paper describes CVPP, a tool set for compositional verification of control–flow safety properties for programs with procedures. The compositional verification principle that underlies CVPP is based on maximal models constructed from component specifications. Maximal models replace the actual components when verifying the whole program, either for the purposes of modularity of verification or due to unavailability of the component implementations at verification time. A characteristic… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS

Similar Papers

Loading similar papers…