Free Online Course on Quantitative Model Checking
EIT Digital is offering free online vourse on Quantitative Model Checking. This course is meant for Master students in Computer Science, Electrical Engineering and Embedded Systems as a specialisation in the area of formal models and methods. The main focus of this course is on quantitative model checking for Markov chains, for which we will More