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…