FM4SE Winter Semester 2023/24 Videos

Jul 1, 2024

For the second time, we have taught the module Formal Methods for Software Engineering (FM4SE) at Bauhaus-University Weimar. This time, we have recorded the lectures and uploaded them to YouTube.

The lecture has been developed over the last two years with feedback from students and teaching assistants at Bauhaus-University Weimar. The materials are based on lectures by Allison K. Sullivan (selected SMT and Alloy materials) and Shahar Maoz (selected LTL materials).