AProVE

Analysis of String Rewrite System (WST Format)

Accepted file formats: srs

Version Termcomp2020
Disclaimer