Autowrite: A Tool for Checking Properties of Term Rewriting Systems
Résumé
Autowrite is an experimental tool written in Common Lisp for checking properties of TRSs. It was initially designed to check sequentiality properties of TRSs. For this purpose, it implements the tree automata constructions used in [J96,DM97,DM98,NT99] and many useful operations on terms, TRSs and tree automata (unfortunaletly not all yet integrated into the graphical interface).