Compositional Termination Analysis


This page presents an experimental implementation of Compositional Termination Analysis, introduced at CAV 2010.

For questions about this implementation and our experiments, please contact Christoph M. Wintersteiger.

Experimental Results

There are 1665 benchmark files in the set (one loop per file) and the timeout is set to 1 hr. The table of results and scatter plots are available here: Experimental Results


Previous versions

How to

Optional External Software



This research is currently supported by a grant from the Swiss National Science Foundation.