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
Économisez sur les compétences qui vous font briller avec 40 % de réduction sur 3 mois de Coursera Plus. Économisez maintenant

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

Instructeur : Hans Zantema
2 901 déjà inscrits
Inclus avec
26 avis
Expérience recommandée
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 : Structures de données
- Catégorie : Logique informatique
- Catégorie : Informatique théorique
Détails à connaître

Ajouter à votre profil LinkedIn
12 devoirs
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

Offert par
En savoir plus sur Développement de logiciels
- Statut : Essai gratuit
University of Colorado Boulder

28DIGITAL

28DIGITAL
Statut : Essai gratuitUniversity of Colorado Boulder
Pour quelles raisons les étudiants sur Coursera nous choisissent-ils pour leur carrière ?

Felipe M.

Jennifer J.

Larry W.

Chaitanya A.
Foire Aux Questions
Plus de questions
Aide financière disponible,




