nonreach – A Tool for Nonreachability Analysis

Florian Meßner, Christian Sternagel
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 11427, pp. 337 – 343, 2019.

 pdf   doi:10.1007/978-3-030-17462-0_19

Open Access (CC BY 4.0)

Abstract

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.

BibTex

@inproceedings{FMCS-TACAS19,
author = "Florian Meßner and Christian Sternagel",
title = "nonreach -- {A} Tool for Nonreachability Analysis",
booktitle = "Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
editor = "Tomáš Vojnar and Lijun Zhang",
series = "Lecture Notes in Computer Science",
volume = 11427,
pages = "337--343",
year = 2019,
doi = "10.1007/978-3-030-17462-0_19"
}