EIT Digital
Vérification quantitative des modèles
EIT Digital

Vérification quantitative des modèles

Anne Remke

Instructeur : Anne Remke

6 419 déjà inscrits

Inclus avec Coursera Plus

Obtenez un aperçu d'un sujet et apprenez les principes fondamentaux.
4.2

(52 avis)

niveau Intermédiaire
Certaines connaissances prérequises
13 heures pour terminer
3 semaines à 4 heures par semaine
Planning flexible
Apprenez à votre propre rythme
Obtenez un aperçu d'un sujet et apprenez les principes fondamentaux.
4.2

(52 avis)

niveau Intermédiaire
Certaines connaissances prérequises
13 heures pour terminer
3 semaines à 4 heures par semaine
Planning flexible
Apprenez à votre propre rythme

Détails à connaître

Certificat partageable

Ajouter à votre profil LinkedIn

Évaluations

27 devoirs

Enseigné en Anglais

Découvrez comment les employés des entreprises prestigieuses maîtrisent des compétences recherchées

Emplacement réservé
Emplacement réservé

Obtenez un certificat professionnel

Ajoutez cette qualification à votre profil LinkedIn ou à votre CV

Partagez-le sur les réseaux sociaux et dans votre évaluation de performance

Emplacement réservé

Il y a 5 modules dans ce cours

Nous présentons les systèmes de transition étiquetés (LTS), la syntaxe et la sémantique de la logique arborescente computationnelle (CTL) et discutons des algorithmes de vérification de modèle nécessaires pour calculer l'ensemble de satisfaction pour des formules CTL spécifiques.

Inclus

6 vidéos3 lectures4 devoirs

Nous améliorons les systèmes de transition par le temps discret et ajoutons des probabilités aux transitions pour modéliser les choix probabilistes. Nous discutons des propriétés importantes des DTMC, telles que la propriété sans mémoire et l'homogénéité temporelle. La classification des états peut être utilisée pour déterminer l'existence de la distribution limite et/ou stationnaire.

Inclus

5 vidéos2 lectures5 devoirs

Nous discutons de la syntaxe et de la sémantique de la logique de l'arbre computationnel probabiliste et vérifions les algorithmes de vérification de modèle qui sont nécessaires pour décider de la validité de différents types de formules PCTL. Nous discutons brièvement de la complexité de la vérification de modèles PCTL.

Inclus

5 vidéos3 lectures6 devoirs

Nous améliorons les chaînes de Markov en temps discret avec le temps réel et discutons de la façon dont le formalisme de modélisation résultant évolue dans le temps. Nous calculons l'état d'équilibre pour différents types de chaînes de Markov à temps discret et examinons comment les probabilités transitoires peuvent être calculées efficacement à l'aide d'une méthode appelée uniformisation.

Inclus

5 vidéos2 lectures6 devoirs

Nous introduisons la syntaxe et la sémantique de la logique stochastique continue et décrivons comment les différents types de formules CSL peuvent être vérifiés. En particulier, la vérification du modèle de l'opérateur time bounded until nécessite l'application du concept d'uniformisation, que nous avons abordé dans le module précédent.

Inclus

5 vidéos2 lectures6 devoirs

Instructeur

Évaluations de l’enseignant
4.3 (5 évaluations)
Anne Remke
EIT Digital
2 Cours13 134 apprenants

Offert par

EIT Digital

Pour quelles raisons les étudiants sur Coursera nous choisissent-ils pour leur carrière ?

Felipe M.
Étudiant(e) depuis 2018
’Pouvoir suivre des cours à mon rythme à été une expérience extraordinaire. Je peux apprendre chaque fois que mon emploi du temps me le permet et en fonction de mon humeur.’
Jennifer J.
Étudiant(e) depuis 2020
’J'ai directement appliqué les concepts et les compétences que j'ai appris de mes cours à un nouveau projet passionnant au travail.’
Larry W.
Étudiant(e) depuis 2021
’Lorsque j'ai besoin de cours sur des sujets que mon université ne propose pas, Coursera est l'un des meilleurs endroits où se rendre.’
Chaitanya A.
’Apprendre, ce n'est pas seulement s'améliorer dans son travail : c'est bien plus que cela. Coursera me permet d'apprendre sans limites.’

Avis des étudiants

4.2

52 avis

  • 5 stars

    57,69 %

  • 4 stars

    25 %

  • 3 stars

    5,76 %

  • 2 stars

    5,76 %

  • 1 star

    5,76 %

Affichage de 3 sur 52

RA
5

Révisé le 26 août 2023

Emplacement réservé

Ouvrez de nouvelles portes avec Coursera Plus

Accès illimité à 10,000+ cours de niveau international, projets pratiques et programmes de certification prêts à l'emploi - tous inclus dans votre abonnement.

Faites progresser votre carrière avec un diplôme en ligne

Obtenez un diplôme auprès d’universités de renommée mondiale - 100 % en ligne

Rejoignez plus de 3 400 entreprises mondiales qui ont choisi Coursera pour les affaires

Améliorez les compétences de vos employés pour exceller dans l’économie numérique

Foire Aux Questions