AProVE with ADPFramework and Transformations

These are the most important command line flags:

-m wst to get the result of the analysis as first line on stdout
-p plain|html to get a proof as plain text or html
-t 30 to set a timeout of 30 seconds