Modular verification of code with SAT

  title={Modular verification of code with SAT},
  author={Greg Dennis and Felix Sheng-Ho Chang and Daniel O Jackson},
An approach is described for checking the methods of a class against a full specification. It shares with traditional model checking the idea of exhausting the entire space of executions within some finite bounds, and with traditional verification the idea of modular analysis, in which a method is analyzed, in isolation, for all possible calling contexts.The analysis involves an automatic two-phase reduction: first, to an intermediate form in relational logic (using a new encoding described… CONTINUE READING
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 95 citations. REVIEW CITATIONS
57 Citations
8 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 57 extracted citations

96 Citations

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

See our FAQ for additional information.

Similar Papers

Loading similar papers…