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
Développez vos compétences avec Coursera Plus pour 239 $/an (habituellement 399 $). Économisez maintenant.

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

Instructeur : Hans Zantema
2 892 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
Compétences que vous acquerrez
- Catégorie : Verification And Validation
- Catégorie : Algorithms
- Catégorie : Model Evaluation
- Catégorie : Data Structures
- Catégorie : Systems Analysis
- Catégorie : Graph Theory
- Catégorie : Theoretical Computer Science
- Catégorie : Computational Logic
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

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

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
Plus de questions
Aide financière disponible,

