Computational Tree Logic

Quantitative Model Checking (Coursera)

Dive into the world of Quantitative Model Checking, a crucial approach for assessing the reliability and dependability of software in modern ICT applications like Embedded Systems, Cyber-Physical Systems, Communication Protocols, and Transportation. This course will equip you with advanced techniques to evaluate and enhance the performance, robustness, and efficiency of your systems.