Welcome to the Reactive Systems Group at Saarland University

We are located on the fifth floor of building E 1 3 on the Saarbrücken campus of Saarland University (how to reach us).

Michael Gerke wins the NRW Young Scientist Award 2011!

For his outstanding research on the automatic verification of real-time protocols, Michael Gerke has received the NRW Young Scientist Award 2011 in the category Dynamic Intelligent Systems (Computer Science and Embedded Systems).

Congratulations, Michael!

Winter term 2011/2012

• Proseminar: Softwarezuverlässigkeit. In diesem Proseminar geben wir einen Überblick zu Methoden zur Verbesserung von Softwarezuverlässigkeit. Beginnend bei Verfahren wie automatisiertem Testen, besprechen wir dann formale Softwaremodelle, Prozessalgebren und Spezifikationen bis hin zu automatischer Softwareverifikation. Ein Fokus liegt auch auf dem Erlernen wissenschaftlichen Arbeitens.

• Core lecture course: Verification. How can one ensure that computer programs actually do what they are intended to do? Simply testing the program on a few inputs is insufficient to prove the absence of bugs. In this lecture course, we will take a look at automated methods to verify the functional correctness of systems. The goal of these methods is to deliver a formal proof of correctness for a given system. We will cover the theory and practice of both deductive methods for program verification and state space exploration methods like model checking for concurrent programs.