TUM - Chair VII - Foundations of Software Reliability and Theoretical Computer Science

Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.


		Chair for Foundations of Software Reliability and Theoretical Computer Science

This tool analyzes and reduces workflows by means of reduction rules.

The source code can be optained [here]

Philipp Hoffmann (Email: ph DOT hoffmann AT tum DOT de)