nonreach – A Tool for Nonreachability Analysis
Florian Meßner, Christian Sternagel · Lecture notes in computer science · 2019
We introduce nonreach , an automated tool for nonreachability analysis that is intended as a drop-in addition to existing termination and confluence tools for term rewriting. Our preliminary experimental data suggests that nonreach can improve the performance of existing termination tools.