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"
}