Quantitative Formal Modeling and Worst-Case Performance Analysis

Mathematical models provide a powerful way to analyse, predict, and verify the behaviour of complex systems. This course introduces the foundations of quantitative formal modelling, focusing on how numerical and probabilistic aspects can be incorporated into formal system descriptions. You will learn how quantitative models are constructed and used to evaluate performance, reliability, and other measurable properties of systems. 

What you will learn:

• Fundamental concepts of quantitative formal modelling.  
• Techniques for representing systems using mathematical and probabilistic models.  
• Methods for analysing performance, reliability, and quantitative system properties.  
• Formal approaches to reasoning about complex system behaviour.  
• Modelling frameworks used in verification and systems engineering.  
• Applications of quantitative modelling in software, hardware, and communication systems. 

Follow the ‘go to course’ and sign up!