ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

  title={ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement},
  author={Andreas Podelski and Andrey Rybalchenko},
Software model checking with abstraction refinement is emerging as a practical approach to verify industrial software systems. Its distinguishing characteristics lie in the way it applies logical reasoning to deal with abstraction. It is therefore natural to investigate whether and how the use of a constraint-based programming language may lead to an elegant and concise implementation of a practical tool. In this paper we describe the outcome of our investigation. Using a Prolog system together… CONTINUE READING
Highly Influential
This paper has highly influenced 16 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 190 citations. REVIEW CITATIONS
116 Citations
20 References
Similar Papers


Publications citing this paper.

191 Citations

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

See our FAQ for additional information.

Similar Papers

Loading similar papers…