À propos de ce cours

5,817 consultations récentes
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Niveau intermédiaire

Basic logic and programming on a bachelor level.

Approx. 13 heures pour terminer
Anglais
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Niveau intermédiaire

Basic logic and programming on a bachelor level.

Approx. 13 heures pour terminer
Anglais

Offert par

Placeholder

EIT Digital

Programme du cours : ce que vous apprendrez dans ce cours

Semaine
1

Semaine 1

1 heure pour terminer

CTL model checking

1 heure pour terminer
5 vidéos (Total 44 min)
5 vidéos
Model Checking9 min
Computation Tree Logic11 min
Computation Tree Logic Algorithm10 min
Computation Tree Logic Example7 min
3 exercices pour s'entraîner
Size of state space10 min
CTL equivalence10 min
CTL example10 min
Semaine
2

Semaine 2

1 heure pour terminer

BDDs part 1

1 heure pour terminer
4 vidéos (Total 33 min)
4 vidéos
Decision Trees7 min
Decision Trees 29 min
BDDs8 min
3 exercices pour s'entraîner
Decision tree10 min
Reduced ordered decision tree10 min
ROBDD10 min
Semaine
3

Semaine 3

2 heures pour terminer

BDDs part 2

2 heures pour terminer
4 vidéos (Total 35 min)
4 vidéos
BDD Algorithm9 min
BDD algorithm 26 min
BDD Algorithm Example7 min
3 exercices pour s'entraîner
BDD quiz 120 min
BDD quiz 220 min
BDD algorithm30 min
Semaine
4

Semaine 4

9 heures pour terminer

BDD based symbolic model checking

9 heures pour terminer
4 vidéos (Total 39 min), 3 lectures, 3 quiz
4 vidéos
An example: foxes and rabbits8 min
Deadlock checking in a network10 min
Networks, BMC, conclusions10 min
3 lectures
NuSMV source of foxes and rabbits problem10 min
Introduction10 min
Explanation packet switching networks and file describing routing function1h 10min
3 exercices pour s'entraîner
Problem 1: colored marbles1 h
Problem 2: reaching equal values2 h
Problem 3: deadlocks in packet switching networks4 h

Foire Aux Questions

D'autres questions ? Visitez le Centre d'Aide pour les Etudiants.