Ï Lecture | FM4SE

Lecture

Introducing GitHub Classroom into a Formal Methods Module

We have developed an MSc-level module on Formal Methods for Software Engineering with exercises on applying SAT solvers, SMT solvers, …

Soaibuzzaman, Jan Oliver Ringert

Sep 9, 2024

Introducing GitHub Classroom into a Formal Methods Module

FM4SE Winter Semester 2023/24 Videos

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.

Jul 1, 2024

FM4SE Winter Semester 2023/24 Videos