This course presents how properties of acting systems and programs can be verified automatically. The basic notion is a transition system: any system that can be described by states and steps. We present how in CTL (computation tree logic) properties like reachability can be described.
oferecido por


Automated Reasoning: Symbolic Model Checking
EIT DigitalInformações sobre o curso
Prazos flexíveis
Redefinir os prazos de acordo com sua programação.
Certificados compartilháveis
Tenha o certificado após a conclusão
100% on-line
Comece imediatamente e aprenda em seu próprio cronograma.
Nível intermediário
Basic logic and programming on a bachelor level.
Aprox. 13 horas para completar
Inglês
Sua empresa se beneficiaria do treinamento dos funcionários em habilidades sob demanda?
Experimente o Coursera for BusinessPrazos flexíveis
Redefinir os prazos de acordo com sua programação.
Certificados compartilháveis
Tenha o certificado após a conclusão
100% on-line
Comece imediatamente e aprenda em seu próprio cronograma.
Nível intermediário
Basic logic and programming on a bachelor level.
Aprox. 13 horas para completar
Inglês
Sua empresa se beneficiaria do treinamento dos funcionários em habilidades sob demanda?
Experimente o Coursera for Businessoferecido por
Programa - O que você aprenderá com este curso
1 hora para concluir
CTL model checking
1 hora para concluir
5 vídeos (Total 44 mín.)
1 hora para concluir
BDDs part 1
1 hora para concluir
4 vídeos (Total 33 mín.)
2 horas para concluir
BDDs part 2
2 horas para concluir
4 vídeos (Total 35 mín.)
9 horas para concluir
BDD based symbolic model checking
9 horas para concluir
4 vídeos (Total 39 mín.), 3 leituras, 3 testes
Perguntas Frequentes – FAQ
Quando terei acesso às palestras e às tarefas?
O que recebo ao adquirir o Certificado?
Existe algum auxílio financeiro disponível?
Mais dúvidas? Visite o Central de Ajuda ao estudante.