Decision Procedures for Equationally Based Reasoning

  title={Decision Procedures for Equationally Based Reasoning},
  author={JOSEPH D. HENDRIX},
  • Published 2008
This work develops new automated reasoning techniques for verifying the correctness of equationally specified programs. These techniques are not just theoretical, but have been implemented, and applied to actual program verification projects. Although the work spans several different areas, a major theme of this work is to develop better techniques at the boundary between decidable and undecidable problems. That is, this work seeks out not just positive decidability results, but ways to extend… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 139 references

CETA: A library for equational tree automata

  • Joe Hendrix
  • 2008
Highly Influential
20 Excerpts

Similar Papers

Loading similar papers…