EIT Digital
Raisonnement automatisé : Vérification de modèles symboliques
EIT Digital

Raisonnement automatisé : Vérification de modèles symboliques

Hans Zantema

Instructeur : Hans Zantema

2 702 déjà inscrits

Inclus avec Coursera Plus

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

(26 avis)

niveau Intermédiaire

Expérience recommandée

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

(26 avis)

niveau Intermédiaire

Expérience recommandée

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

12 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 4 modules dans ce cours

Après une introduction générale au MOOC, ce module commence par une description générale de la vérification de modèle, puis la logique des arbres de calcul (CTL) est introduite : un langage dans lequel les propriétés des systèmes de transition peuvent être décrites. L'algorithme permettant de vérifier si une telle propriété est valable est donné dans un cadre abstrait, laissant implicite la façon dont les ensembles d'états sont représentés.

Inclus

5 vidéos3 devoirs

Dans ce module, les BDD (diagrammes de décision binaires) sont présentés comme des arbres de décision avec partage. Des exigences supplémentaires concernant les arbres de décision et les BDD sont présentées, ce qui permet de conclure à l'unicité de la représentation.

Inclus

4 vidéos3 devoirs

Après quelques exemples de BDD, l'algorithme est présenté et discuté pour calculer le ROBDD de n'importe quelle formule propositionnelle.

Inclus

4 vidéos3 devoirs

Dans ce dernier module, les thèmes de la vérification de modèle CTL et des BDD sont combinés : il est montré comment les BDD peuvent être utilisés pour représenter des ensembles d'états de manière à ce que l'algorithme abstrait pour la vérification de mode CTL puisse être utilisé, et que des espaces d'états beaucoup plus grands puissent être traités qu'en utilisant la vérification de modèle basée sur les états explicites. Plusieurs exemples sont présentés.

Inclus

4 vidéos3 lectures3 devoirs

Instructeur

Évaluations de l’enseignant
5.0 (9 évaluations)
Hans Zantema
EIT Digital
2 Cours6 388 apprenants

Offert par

EIT Digital

Recommandé si vous êtes intéressé(e) par Développement de logiciels

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.’
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