Skip to main content

nonreach - A Tool for Nonreachability Analysis

Florian Meßner, Christian Sternagel

PDF DOI 10.1007/978-3-030-17462-0_19 dblp BibTeX

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.

Related papers

The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration TACAS 2001
Semantics-Directed Program Analysis: A Tool-Maker's Perspective SAS 1996
Shrinktech: A Tool for the Robustness Analysis of Timed Automata CAV 2013
Software Construction and Analysis Tools for Future Space Missions TACAS 2002
VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software CAV 1997
PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols CAV 1999
BAT: The Bit-Level Analysis Tool CAV 2007
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols CAV 2008