Acerca de este Curso

4,938 vistas recientes
Certificado para compartir
Obtén un certificado al finalizar
100 % en línea
Comienza de inmediato y aprende a tu propio ritmo.
Fechas límite flexibles
Restablece las fechas límite en función de tus horarios.
Nivel intermedio

Basic logic and programming on a bachelor level.

Aprox. 13 horas para completar
Inglés (English)
Certificado para compartir
Obtén un certificado al finalizar
100 % en línea
Comienza de inmediato y aprende a tu propio ritmo.
Fechas límite flexibles
Restablece las fechas límite en función de tus horarios.
Nivel intermedio

Basic logic and programming on a bachelor level.

Aprox. 13 horas para completar
Inglés (English)

ofrecido por

Placeholder

EIT Digital

Programa - Qué aprenderás en este curso

Semana
1

Semana 1

1 hora para completar

CTL model checking

1 hora para completar
5 videos (Total 44 minutos)
5 videos
Model Checking9m
Computation Tree Logic11m
Computation Tree Logic Algorithm10m
Computation Tree Logic Example7m
3 ejercicios de práctica
Size of state space10m
CTL equivalence10m
CTL example10m
Semana
2

Semana 2

1 hora para completar

BDDs part 1

1 hora para completar
4 videos (Total 33 minutos)
4 videos
Decision Trees7m
Decision Trees 29m
BDDs8m
3 ejercicios de práctica
Decision tree10m
Reduced ordered decision tree10m
ROBDD10m
Semana
3

Semana 3

2 horas para completar

BDDs part 2

2 horas para completar
4 videos (Total 35 minutos)
4 videos
BDD Algorithm9m
BDD algorithm 26m
BDD Algorithm Example7m
3 ejercicios de práctica
BDD quiz 120m
BDD quiz 220m
BDD algorithm30m
Semana
4

Semana 4

9 horas para completar

BDD based symbolic model checking

9 horas para completar
4 videos (Total 39 minutos), 3 lecturas, 3 cuestionarios
4 videos
An example: foxes and rabbits8m
Deadlock checking in a network10m
Networks, BMC, conclusions10m
3 lecturas
NuSMV source of foxes and rabbits problem10m
Introduction10m
Explanation packet switching networks and file describing routing function1h 10m
3 ejercicios de práctica
Problem 1: colored marbles1h
Problem 2: reaching equal values2h
Problem 3: deadlocks in packet switching networks4h

Preguntas Frecuentes

¿Tienes más preguntas? Visita el Centro de Ayuda al Alumno.