Back to Search
Start Over
Automated Analysis of Logically Constrained Rewrite Systems using crest
- Publication Year :
- 2025
-
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.<br />Comment: Accepted at the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2025
- Subjects :
- Computer Science - Logic in Computer Science
Subjects
Details
- Database :
- arXiv
- Publication Type :
- Report
- Accession number :
- edsarx.2501.05240
- Document Type :
- Working Paper