Automatic Verification of Parameterized Data Structures

  title={Automatic Verification of Parameterized Data Structures},
  author={Jyotirmoy V. Deshmukh and E. Allen Emerson and Prateek Gupta},
Verifying correctness of programs operating on data structures has become an integral part of software verification. A method is a program that acts on an input data structure (modeled as a graph) and produces an output data structure. The parameterized correctness problem for such methods can be defined as follows: Given a method and a property of the input graphs, we wish to verify that for all input graphs, parameterized by their size, the output graphs also satisfy the property. We present… CONTINUE READING
Highly Cited
This paper has 24 citations. REVIEW CITATIONS


Publications citing this paper.

Similar Papers

Loading similar papers…