AProVE's Webinterface

This is the AProVE Web Interface for the current version of AProVE.

Frontend Languages

Java Bytecode
Java Bytecode Complexity
C
Functional Program (AProVE)
Prolog
LLVM
Haskell


Backend Languages

Term Rewrite System (WST Format)
Term Rewrite System (AProVE Format)
Probabilistic Term Rewrite System
(Probabilistic) Term Rewrite System (ARI Format)
String Rewrite System (WST Format)
String Rewrite System (AProVE Format)
Integer Term Rewrite System (RTA'09)
Integer Term Rewrite System (top-level rewriting)