2000 character limit reached
Automated Analysis of Logically Constrained Rewrite Systems using crest (2501.05240v3)
Published 9 Jan 2025 in cs.LO
Abstract: We present crest, a tool for automatically proving (non-)confluence and termination of logically constrained rewrite systems. We compare crest to other tools for logically constrained rewriting. Extensive experiments demonstrate the promise of crest.
Collections
Sign up for free to add this paper to one or more collections.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
