About this Course

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 External Link
Intermediate Level

Basic logic and programming on a bachelor level.

Approx. 13 hours to complete
English
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 External Link
Intermediate Level

Basic logic and programming on a bachelor level.

Approx. 13 hours to complete
English

Offered by

Placeholder

EIT Digital

Syllabus - What you will learn from this course

Week1
Week 1
1 hour to complete

CTL model checking

1 hour to complete
5 videos (Total 44 min)
Week2
Week 2
1 hour to complete

BDDs part 1

1 hour to complete
4 videos (Total 33 min)
Week3
Week 3
2 hours to complete

BDDs part 2

2 hours to complete
4 videos (Total 35 min)
Week4
Week 4
9 hours to complete

BDD based symbolic model checking

9 hours to complete
4 videos (Total 39 min), 3 readings, 3 quizzes

Frequently Asked Questions

More questions? Visit the Learner Help Center.