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. 7 hours to complete

Suggested: 12 hours/week...

English

Subtitles: 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. 7 hours to complete

Suggested: 12 hours/week...

English

Subtitles: English

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 Formulas14m
Week
2

Week 2

1 hour to complete

Advanced modal formulas

1 hour 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 formulas12m

Offered by

EIT Digital  logo

EIT Digital

Frequently Asked Questions

  • Once you enroll for a Certificate, you’ll have access to all videos, quizzes, and programming assignments (if applicable). Peer review assignments can only be submitted and reviewed once your session has begun. If you choose to explore the course without purchasing, you may not be able to access certain assignments.

  • When you purchase a Certificate you get access to all course materials, including graded assignments. Upon completing the course, your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile. If you only want to read and view the course content, you can audit the course for free.

More questions? Visit the Learner Help Center.