About this Course

5,310 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

Basic logic and programming on a bachelor level.

Approx. 13 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

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

Week
1

Week 1

1 hour to complete

CTL model checking

1 hour to complete
5 videos (Total 44 min)
5 videos
Model Checking9m
Computation Tree Logic11m
Computation Tree Logic Algorithm10m
Computation Tree Logic Example7m
3 practice exercises
Size of state space10m
CTL equivalence10m
CTL example10m
Week
2

Week 2

1 hour to complete

BDDs part 1

1 hour to complete
4 videos (Total 33 min)
4 videos
Decision Trees7m
Decision Trees 29m
BDDs8m
3 practice exercises
Decision tree10m
Reduced ordered decision tree10m
ROBDD10m
Week
3

Week 3

2 hours to complete

BDDs part 2

2 hours to complete
4 videos (Total 35 min)
4 videos
BDD Algorithm9m
BDD algorithm 26m
BDD Algorithm Example7m
3 practice exercises
BDD quiz 120m
BDD quiz 220m
BDD algorithm30m
Week
4

Week 4

9 hours to complete

BDD based symbolic model checking

9 hours to complete
4 videos (Total 39 min), 3 readings, 3 quizzes
4 videos
An example: foxes and rabbits8m
Deadlock checking in a network10m
Networks, BMC, conclusions10m
3 readings
NuSMV source of foxes and rabbits problem10m
Introduction10m
Explanation packet switching networks and file describing routing function1h 10m
3 practice exercises
Problem 1: colored marbles1h
Problem 2: reaching equal values2h
Problem 3: deadlocks in packet switching networks4h

Frequently Asked Questions

More questions? Visit the Learner Help Center.