Teaching Formal Methods

Formal methods are tought through a variety of courses. How can modern forms of teaching, such as flipped classrooms or on-demand-teaching, be used to improve formal methods education?

This projects documents my efforts in course design and university teaching.

Sebastian Krings

My research interests include formal methods, model checking and logic programming.


Experience Report on An Inquiry-Based Course on Model Checking

The development and improvement of model checkers for the validation of hard- and software is an ongoing research topic in computer …