Compositional Termination Analysis

About

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

Download

Previous versions

How to

Optional External Software

Publications

Support

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