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.
Offert par


Automated Reasoning: Symbolic Model Checking
EIT DigitalÀ propos de ce cours
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Niveau intermédiaire
Basic logic and programming on a bachelor level.
Approx. 13 heures pour terminer
Anglais
Votre entreprise pourrait-elle bénéficier de la formation des employés à des compétences recherchées ?
Essayez Coursera pour les affairesDates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Niveau intermédiaire
Basic logic and programming on a bachelor level.
Approx. 13 heures pour terminer
Anglais
Votre entreprise pourrait-elle bénéficier de la formation des employés à des compétences recherchées ?
Essayez Coursera pour les affairesOffert par
Programme de cours : ce que vous apprendrez dans ce cours
1 heure pour terminer
CTL model checking
1 heure pour terminer
5 vidéos (Total 44 min)
1 heure pour terminer
BDDs part 1
1 heure pour terminer
4 vidéos (Total 33 min)
2 heures pour terminer
BDDs part 2
2 heures pour terminer
4 vidéos (Total 35 min)
9 heures pour terminer
BDD based symbolic model checking
9 heures pour terminer
4 vidéos (Total 39 min), 3 lectures, 3 quiz
Foire Aux Questions
Quand aurai-je accès aux vidéos de cours et aux devoirs ?
À quoi ai-je droit si j'achète le Certificat ?
Une aide financière est-elle possible ?
D'autres questions ? Visitez le Centre d'Aide pour les Étudiants.