Incremental upgrade checking by means of interpolation-based function summaries

  title={Incremental upgrade checking by means of interpolation-based function summaries},
  author={Ondrej Sery and Grigory Fedyukovich and Natasha Sharygina},
  journal={2012 Formal Methods in Computer-Aided Design (FMCAD)},
During its evolution, a typical software/hardware design undergoes a myriad of small changes. However, it is extremely costly to verify each new version from scratch. As a remedy to this problem, we propose to use function summaries to enable incremental verification of the evolving systems. During the evolution, our approach maintains function summaries derived using Craig's interpolation. For each new version, these summaries are used to perform a local incremental check. Benefit of this… CONTINUE READING
Highly Cited
This paper has 33 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Similar Papers

Loading similar papers…