TermComp Documents

Outline of the termexec component (termexec.pdf [193 KB])

This document outlines the proposed functionality of the termexec component for the termcomp platform. termexec will offer users the possibility to submit experiments to the competition platform with a set of tools and problems they can determine themselves. termexec will implement scheduling algorithms to allow multi-user usage and to prevent experiments from interfering with the functionality of the termcomp platform.

Presentation at WScT08 in Leipzig (leipzig-presentation.pdf [1.07 MB])

Brief presentation of the current project status, held at the Workshop on certified termination in Leipzig, 16 May 2008.

Project outline (outline.pdf [301 KB])

More or less final project outline. The exact details have changed slightly during the course of development.

Open Questions regarding the Termination Competition (leipzig-08-handout.pdf [151 KB])

This document contains a list of open questions wrt to the organisation of the termination competition.