Quantitative Model Checking
Completed by Allan Johan GENOVESI NANFACK TEMGOUA
August 13, 2025
13 hours (approximately)
Allan Johan GENOVESI NANFACK TEMGOUA's account is verified. Coursera certifies their successful completion of Quantitative Model Checking
What you will learn
Learn the foundations of quantitative model checking for probabilistic and stochastic systems.
Model and analyse systems using Discrete-Time and Continuous-Time Markov Chains.
Apply Computational Tree Logic (CTL) and Probabilistic CTL (PCTL) to formally verify system properties.
Use formal verification techniques to evaluate the reliability, performance, and dependability of embedded, cyber-physical and communication systems
Skills you will gain
- Category: Software Testing
- Category: Mathematical Modeling
- Category: Verification And Validation
- Category: Markov Model
- Category: Systems Analysis
- Category: Algorithms
- Category: Theoretical Computer Science
- Category: Process Modeling
- Category: Probability Distribution
- Category: Applied Mathematics
- Category: Computational Logic
- Category: Probability
