Institute of

Theoretical Computer Science


Technische Universität Braunschweig

Project: Implementation and Evaluation of Verification Algorithms for Boolean While Programs

Teamprojekt im Wintersemester 2018/19


October 8
The date of the kickoff meeting has been fixed: Oct 24 at 10 o'clock.


During the winter term 2018/19, the Institute of Theoretical Computer Science offers a project on the Verification of Boolean Programs, headed by Prof. Dr. Roland Meyer. If you are interested in participating, please send a mail to Sebastian Wolff. (Currently, there are five registered participants; the project will take place.)


The goal of the project is to implement and evaluate various techniques for verifying boolean while programs. More precisely, the tasks involve:

The main question that drives the project is how does the performance of certain verification algorithms depend on elaborate implementations?

If you have questions, please contact Sebastian Wolff.