AProVE

Analysis of String Rewrite System (WST Format)

Accepted file formats: srs

Version AProVE2023
Disclaimer