Quantitative Model Checking

Understanding whether a system behaves correctly is important, but many real-world applications also require analysing probabilities, performance, and reliability. This course introduces quantitative model checking, a formal verification technique used to evaluate systems with probabilistic and quantitative behaviour. You will explore mathematical models and verification methods that help assess factors such as reliability, availability, risk, and performance in complex systems. 

What you will learn: 

• Fundamentals of quantitative and probabilistic model checking.  
• Mathematical models for analysing stochastic and probabilistic systems.  
• Techniques for specifying and verifying quantitative system properties.  
• Methods for evaluating reliability, performance, and risk.  
• Tools and algorithms used in quantitative verification.  
• Applications of model checking in software, communication networks, and safety-critical systems. 

Follow the ‘go to course’ and sign up!