Software developed at the Chair for Foundations of Software Reliability and Theoretical Computer Science.