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 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 : Structures de données
- Catégorie : Logique informatique
- Catégorie : Informatique théorique
- Catégorie : Vérification et validation
- Catégorie : Algorithmes
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.

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,

