The integration of ICT (information and communications technology) in different applications is rapidly increasing in e.g. Embedded and Cyber physical systems, Communication protocols and Transportation systems. Hence, their reliability and dependability increasingly depends on software. Defects can be fatal and extremely costly (with regards to mass-production of products and safety-critical systems).
Offered By


Quantitative Model Checking
EIT DigitalAbout this Course
2,349 recent views
Flexible deadlines
Reset deadlines in accordance to your schedule.
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Coursera Labs
Includes hands on learning projects.
Learn more about Coursera Labs Intermediate Level
Approx. 17 hours to complete
English
Could your company benefit from training employees on in-demand skills?
Try Coursera for BusinessFlexible deadlines
Reset deadlines in accordance to your schedule.
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Coursera Labs
Includes hands on learning projects.
Learn more about Coursera Labs Intermediate Level
Approx. 17 hours to complete
English
Could your company benefit from training employees on in-demand skills?
Try Coursera for BusinessOffered by
Syllabus - What you will learn from this course
4 hours to complete
Module 1: Computational Tree Logic
4 hours to complete
6 videos (Total 61 min), 3 readings, 4 quizzes
3 hours to complete
Discrete Time Markov Chains
3 hours to complete
5 videos (Total 49 min), 2 readings, 5 quizzes
4 hours to complete
Probabilistic Computational Tree Logic
4 hours to complete
5 videos (Total 36 min), 3 readings, 6 quizzes
4 hours to complete
Continuous Time Markov Chains
4 hours to complete
5 videos (Total 57 min), 2 readings, 6 quizzes
Frequently Asked Questions
When will I have access to the lectures and assignments?
What will I get if I purchase the Certificate?
Is financial aid available?
More questions? Visit the Learner Help Center.