I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Workflow Analyzer

Overview

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

Source code and benchmark arenas

The source code can be optained [here]

Contact

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