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.