Le cours Automated Reasoning : Le cours de vérification de modèles symboliques présente la manière dont les propriétés des systèmes d'action et des programmes peuvent être vérifiées automatiquement. La notion de base est un système de transition : tout système qui peut être décrit par des états et des étapes. Nous présentons comment, en CTL (computation tree logic), des propriétés telles que l'accessibilité peuvent être décrites. Typiquement, un espace d'états peut être très grand. L'une des façons de traiter ce problème est le model checking symbolique : une façon de représenter symboliquement des ensembles d'états. Les définitions et les propriétés de base des BDD sont présentées dans ce cours, ainsi que les algorithmes permettant de les calculer, comme cela est nécessaire pour la vérification de modèles CTL.

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

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

Instructeur : Hans Zantema
2 903 déjà inscrits
Inclus avec
Obtenez un aperçu d'un sujet et apprenez les principes fondamentaux.
26 avis
niveau Intermédiaire
Expérience recommandée
1 semaine à compléter
à 10 heures par semaine
Planning flexible
Apprenez à votre propre rythme
Ce que vous apprendrez
Comprendre les fondements de la vérification symbolique des modèles et de la vérification automatisée des systèmes.
Représenter et vérifier des systèmes à l'aide de systèmes de transition et de la logique des arbres de calcul
Appliquer les algorithmes de vérification de modèle CTL pour vérifier automatiquement les propriétés de correction
Découvrez comment les diagrammes de décision binaires (BDD) représentent efficacement les fonctions booléennes et les grands espaces d'état.
Compétences que vous acquerrez
- Catégorie : Vérification et validation
- Catégorie : Algorithmes
- Catégorie : Logique informatique
- Catégorie : Structures de données
- Catégorie : Informatique théorique
Détails à connaître

Certificat partageable
Ajouter à votre profil LinkedIn
Évaluations
12 devoirs
Enseigné en Anglais
91% of learners achieved a positive career outcome
Découvrez comment les employés des entreprises prestigieuses maîtrisent des compétences recherchées

Il y a 4 modules dans ce cours
Instructeur
Évaluations de l’enseignant
(9 évaluations)
Offert par
En savoir plus sur Développement de logiciels
University of Colorado Boulder

28DIGITAL

28DIGITAL

University of Colorado Boulder
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.’
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
Foire Aux Questions
Plus de questions
Aide financière disponible,



