Data shown here is incomplete. This page will refresh with updates pulled from star-exec.
Solver-Info of "AProVE standard f065806"
view original solver-info on star-exec:
9040
| Name: |
AProVE standard f065806 |
| Description: |
AProVE is a tool for termination and complexity proofs of Java, C, Haskell, Prolog, and
rewrite systems, possibly with built in integers. To analyze programs, AProVE automatically
converts them to intTRSs. Then, numerous techniques are employed to prove termination
and to infer complexity bounds for the resulting rewrite systems. |
| Last Update from Star-Exec: |
2017-08-14 15:20:11.688778 UTC |