AProVE

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 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 Term Rewrite System Prolog LLVM Haskell

Analysis of Haskell

Please enter a Haskell program, using the Termination Competition format.
Analysis always starts with the provided query (see help or example). If no query is provided, the analysis will return an error.
You can import the following modules: Set, FiniteMap, List, Map, Maybe, Monad, Queue, Tree.

Accepted file formats: hs

Version AProVE2023
Disclaimer