Polytechnique > Programmes > Cours et horaires > Détails et horaire

Répertoire des cours et horaires

Détails et horaire du cours LOG8470

Détails

Titre :Vérification de la fiabilité et la sécurité
Nombre de crédits :3
Cycle :Études supérieures
Triplet (h/semaine) :3 - 1.5 - 4.5
Offert par :Génies informatique, logiciel
Responsable(s) :À venir
Préalable(s) :LOG2810, 70 crédits
Corequis :Aucun
Documentation :
Note(s) :
Description :Outils mathématiques de la fiabilité des systèmes et de sécurité de l'information. Modélisation des systèmes séquentiels, concurrents : réseaux de Petri (places/transitions et colorés), systèmes de transitions communicants, programmes séquentiels. Spécification : logique de Hoare, logique temporelle linéaire, propriétés structurelles de réseaux de Petri, propriétés de flux d'information, treillis du flux d'information sûr. Vérification : analyse structurelle des réseaux de Petri, model checking (vérification de modèle), preuves de programmes, analyse de flux d'information dans les systèmes de transitions, détection de flux d'information dans les programmes.

Plan triennal

2017 - 20182018 - 20192019 - 2020
AutomneHiverÉtéAutomneHiverÉtéAutomneHiverÉté
---JourJour-JourJour-

Données en format XML

© École Polytechnique de Montréal
Bottin | Plan du site | Recherche | Conditions