Embedded Systems Group (ES)

Teaching Tools for Exam Preparation

This page provides several online tools to solve standard problems that occur in the lecture courses offered by the embedded systems group. These tools are intended to help our students with the preparation of their exams. Use of these tools for other purposes is not allowed and no guarantees for the correctness of the computed results is given.

If propositional formulas are required as inputs, the following rules concerning the syntax have to be considered:

Please note that the computation time has been restricted to 60 seconds to avoid denial of service attacks. In case of problems with the existing tools or proposals for new tools, send emails to me.

There are teaching tools on the following topics: