Releases: aprove-developers/aprove-releases
Disproving AST and PAST of Probabilistic Rewriting
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
ADP Framework for Expected Complexity
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
ADP Framework - Journal Version
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
AProVE - ADP Framework for AST
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
AProVE - Relative ADP Framework (v2)
A new version with some bugfixes for AProVE's new relative DP framework.
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
AProVE - Relative ADP Framework
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
AProVE - New Version for Basic Start Terms
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
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
AProVE for PTRSs by switching rewrite strategies (fAST -> iAST)
These are the most important command line flags:
-m wstto get the result of the analysis as first line onstdout-p plain|htmlto get a proof as plain text or html-t 30to set a timeout of 30 seconds
AProVE for PTRSs with Transformations
These are the most important command line flags:
-m wstto get the result of the analysis as first line onstdout-p plain|htmlto get a proof as plain text or html-t 30to set a timeout of 30 seconds