Deriving Specialized Program Analyses for Certifying Component-Client Conformance

  title={Deriving Specialized Program Analyses for Certifying Component-Client Conformance},
  author={G. Ramalingam and Alex Varshavsky and John Field and Deepak Goyal and Shmuel Sagiv},
We are concerned with the problem of statically certifying (verifying) whether the client of a software component conforms to the component's constraints for correct usage. We show how conformance certification can be efficiently carried out in a staged fashion for certain classes of first-order safety (FOS) specifications, which can express relationship requirements among potentially unbounded collections of runtime objects. In the first stage of the certification process, we systematically… CONTINUE READING
Highly Cited
This paper has 79 citations. REVIEW CITATIONS

12 Figures & Tables



Citations per Year

80 Citations

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

See our FAQ for additional information.