About this Course

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.
Advanced Level
Approx. 4 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.
Advanced Level
Approx. 4 hours to complete
English

Offered by

Placeholder

EIT Digital

Syllabus - What you will learn from this course

Week
1

Week 1

2 hours to complete

Basic modal formulas

2 hours to complete
6 videos (Total 78 min), 2 readings, 1 quiz
6 videos
Hennessy-Milner logic11m
Identities for HM-logic11m
Dualities6m
Fixed point operators18m
Regular formulas26m
2 readings
Book exercises10m
Book exercises20m
1 practice exercise
Basic Modal Formulas30m
Week
2

Week 2

2 hours to complete

Advanced modal formulas

2 hours to complete
5 videos (Total 59 min), 1 reading, 1 quiz
5 videos
Alternating fixed points11m
Peterson's algorithm revisited10m
Translation to a Boolean Equation System (BES)12m
Solving a Boolean Equation System11m
1 reading
Book exercises10m
1 practice exercise
Advanced modal formulas30m

Frequently Asked Questions

More questions? Visit the Learner Help Center.