REST: Integrating Term Rewriting with Program Verification (Extended Version).

Zachary Grannan Niki Vazou Eva Darulova Alexander J. Summers

Published in: CoRR (2022)

Keyphrases

term rewriting
theorem prover
theorem proving
operational semantics
rewrite systems
knuth bendix