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

Java Bytecode Java Bytecode Complexity C 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) Functional Program (AProVE) Integer Term Rewrite System (RTA'09) Integer Term Rewrite System (top-level rewriting) Complexity Integer Transition System Prolog LLVM Haskell

Analysis of Complexity Integer Transition System

Show Help for CINT Language (in new window)

Accepted file formats: cint and xml

Version AProVE