Informações sobre o curso

3,460 visualizações recentes
Certificados compartilháveis
Tenha o certificado após a conclusão
100% on-line
Comece imediatamente e aprenda em seu próprio cronograma.
Prazos flexíveis
Redefinir os prazos de acordo com sua programação.
Nível intermediário
Aprox. 18 horas para completar
Inglês
Certificados compartilháveis
Tenha o certificado após a conclusão
100% on-line
Comece imediatamente e aprenda em seu próprio cronograma.
Prazos flexíveis
Redefinir os prazos de acordo com sua programação.
Nível intermediário
Aprox. 18 horas para completar
Inglês

oferecido por

Placeholder

EIT Digital

Programa - O que você aprenderá com este curso

Semana
1

Semana 1

4 horas para concluir

Module 1: Computational Tree Logic

4 horas para concluir
6 vídeos (Total 61 mín.), 3 leituras, 4 testes
6 videos
Introduction13min
Semantics of CTL13min
Model Checking CTL9min
The Until Operator12min
The Always Operator9min
3 leituras
Script 1 and 2.110min
Script 2.2 and 2.310min
Script 2.420min
4 exercícios práticos
Formulate for yourself30min
Test your understanding of CTL semantics30min
Check your understanding of CTL30min
Model checking eventually, always and until30min
Semana
2

Semana 2

3 horas para concluir

Discrete Time Markov Chains

3 horas para concluir
5 vídeos (Total 49 mín.), 2 leituras, 5 testes
5 videos
Evolution in Time13min
Transient probabilities9min
State classification5min
Steady-state probabilities12min
2 leituras
Script 3.1 and 3.210min
Script 3.310min
5 exercícios práticos
Evolution of DTMCs30min
Compute transient probabilities10min
Classification of DTMC states True or False?30min
State classification30min
Steady-state computation30min
Semana
3

Semana 3

4 horas para concluir

Probabilistic Computational Tree Logic

4 horas para concluir
5 vídeos (Total 36 mín.), 3 leituras, 6 testes
5 videos
Model checking and the Next operator7min
Time-bounded Until6min
Backwards computation4min
Unbounded Until8min
3 leituras
Script: 4.1 and 4.210min
Script: 4.3.1 and 4.3.225min
Script 4.3.310min
6 exercícios práticos
PCTL Syntax30min
Checking PCTL next30min
Test your understanding of PCTL Until30min
Checking time-bounded until16min
Checking unbounded until10min
Test your understanding of PCTL30min
Semana
4

Semana 4

4 horas para concluir

Continuous Time Markov Chains

4 horas para concluir
5 vídeos (Total 57 mín.), 2 leituras, 6 testes
5 videos
Generator matrix11min
Steady-state probabilities11min
Triple Modular Redundancy11min
Uniformisation12min
2 leituras
Script: 5.1 and 5.220min
Script: 5.315min
6 exercícios práticos
Generator matrix30min
Test your understanding of CTMCs30min
Steady state probability in CTMCs10min
Identifying BSCCs12min
Test your understanding of Uniformisation30min
Uniformisation12min

Perguntas Frequentes – FAQ

Mais dúvidas? Visite o Central de Ajuda ao Aprendiz.