Popular repositories Loading

1. KoAT2-Releases KoAT2-Releases Public

   Complexity Analysis Tool for Integer Programs

   OCaml 14 1

2. aprove-releases aprove-releases Public

   contains publicly available releases of AProVE

   9

3. LoAT LoAT Public archive

   Loop Acceleration Tool for Integer Programs

   C++ 8 2

4. LoAT-purrs LoAT-purrs Public

   The Parma University's Recurrence Relation Solver with additional patches for LoAT

   C++ 7 1

5. aprove-open-source aprove-open-source Public

   AProVE is a powerful system for automated termination, complexity, and safety proofs of several variations of term rewrite systems, as well as other formalisms including imperative, functional, and…

   Java 5

6. termination-portal termination-portal Public

   1