Using predicate abstraction to reduce object-oriented programs for model checking

  title={Using predicate abstraction to reduce object-oriented programs for model checking},
  author={Willem Visser and Seungjoon Park and John Penix},
While it is becoming more common to see model checking applied to software requirements specifications, it is seldom applied to software implementations. The Automated Software Engineering group at NASA Ames is currently investigating the use of model checking for actual source code, with the eventual goal of allowing software developers to augment traditional testing with model checking. Because model checking suffers from the state-explosion problem, one of the main hurdles for program model… CONTINUE READING
Highly Cited
This paper has 107 citations. REVIEW CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
44 Extracted Citations
2 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.

108 Citations

Citations per Year
Semantic Scholar estimates that this publication has 108 citations based on the available data.

See our FAQ for additional information.

Referenced Papers

Publications referenced by this paper.
Showing 1-2 of 2 references

Similar Papers

Loading similar papers…