paicc
This tool provides automated runtime analysis of
Integer Transition Systems via
growth-rate analysis of Flowchart programs.
For more information see
README.
Source Code
The development version of
paicc
is hosted on
GitHub.
Experiments
18dice
The
experiment has been performed on the integer transition system benchmark of
termcomp2017 with version
paicc-0.1.0.1.
The full experiment can be downloaded
here.
18dice-v2
The
experiment has been performed on the integer transition system benchmark of
termcomp2017 with version
paicc-0.2.0.0.
This version provides a revised, more greedy, strategy for program decomposition.
The full experiment can be downloaded
here.