About this Course

3,511 recent views
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Flexible deadlines
Reset deadlines in accordance to your schedule.
Intermediate Level
Approx. 18 hours to complete
English
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Flexible deadlines
Reset deadlines in accordance to your schedule.
Intermediate Level
Approx. 18 hours to complete
English

Offered by

Placeholder

EIT Digital

Syllabus - What you will learn from this course

Week
1

Week 1

4 hours to complete

Module 1: Computational Tree Logic

4 hours to complete
6 videos (Total 61 min), 3 readings, 4 quizzes
6 videos
Introduction13m
Semantics of CTL13m
Model Checking CTL9m
The Until Operator12m
The Always Operator9m
3 readings
Script 1 and 2.110m
Script 2.2 and 2.310m
Script 2.420m
4 practice exercises
Formulate for yourself30m
Test your understanding of CTL semantics30m
Check your understanding of CTL30m
Model checking eventually, always and until30m
Week
2

Week 2

3 hours to complete

Discrete Time Markov Chains

3 hours to complete
5 videos (Total 49 min), 2 readings, 5 quizzes
5 videos
Evolution in Time13m
Transient probabilities9m
State classification5m
Steady-state probabilities12m
2 readings
Script 3.1 and 3.210m
Script 3.310m
5 practice exercises
Evolution of DTMCs30m
Compute transient probabilities10m
Classification of DTMC states True or False?30m
State classification30m
Steady-state computation30m
Week
3

Week 3

4 hours to complete

Probabilistic Computational Tree Logic

4 hours to complete
5 videos (Total 36 min), 3 readings, 6 quizzes
5 videos
Model checking and the Next operator7m
Time-bounded Until6m
Backwards computation4m
Unbounded Until8m
3 readings
Script: 4.1 and 4.210m
Script: 4.3.1 and 4.3.225m
Script 4.3.310m
6 practice exercises
PCTL Syntax30m
Checking PCTL next30m
Test your understanding of PCTL Until30m
Checking time-bounded until16m
Checking unbounded until10m
Test your understanding of PCTL30m
Week
4

Week 4

4 hours to complete

Continuous Time Markov Chains

4 hours to complete
5 videos (Total 57 min), 2 readings, 6 quizzes
5 videos
Generator matrix11m
Steady-state probabilities11m
Triple Modular Redundancy11m
Uniformisation12m
2 readings
Script: 5.1 and 5.220m
Script: 5.315m
6 practice exercises
Generator matrix30m
Test your understanding of CTMCs30m
Steady state probability in CTMCs10m
Identifying BSCCs12m
Test your understanding of Uniformisation30m
Uniformisation12m

Frequently Asked Questions

More questions? Visit the Learner Help Center.