Programmes d'études

Détails et horaire du cours

Légende

  Cours de jour
  Cours de soir
  Cours en ligne
Certificats et microprogrammes de 1er cycle
Baccalauréat (formation d'ingénieur)
Études supérieures

LOG6953HE

Models and Languages for Verification

Nombre de crédits : 3 (3 - 1.5 - 4.5) Les chiffres indiqués entre parenthèses sous le sigle du cours, par exemple (3 - 2 - 4), constituent le triplet horaire.

Le premier chiffre est le nombre d'heures de cours théorique par semaine (les périodes de cours durent 50 minutes).
Le second chiffre est le nombre d'heures de travaux dirigés (exercices) ou laboratoire, par semaine.
(Note : certains cours ont un triplet (3 - 1.5 - 4.5). Dans ce cas, les 1,5 heure par semaine sont des laboratoires qui durent 3 heures mais qui ont lieu toutes les deux semaines. À Polytechnique, on parle alors de laboratoires bi-hebdomadaires).
Le troisième chiffre est un nombre d'heures estimé que l'étudiant doit investir de façon personnelle par semaine pour réussir son cours.
Département : Génies informatique & logiciel
Préalable(s) : LOG1810
Corequis : Aucun
Notes :
Responsable(s) : Lina Marsso
Description
Main concepts of concurrency: linear time vs branching time, interleaving vs true concurrency, locality. Modeling of concurrent systems based on automata. Labeled transition systems and Kripke structures. Higher-level languages for concurrent systems: simple calculus (CCS), value-passing languages (LNT), name-passing and mobility calculi (the pi-calculus). Temporal logics and model checking verification. Testing based on concurrent models.

Horaire

Cours
Groupe Jour Heure Local Enseignant(e)(s)
01 Vendredi 12h45, 13h45, 14h45 L-2710 Marsso, Lina
Travaux pratiques
Groupe Jour Heure Local Enseignant(e)(s)
01 Mardi 12h45, 13h45, 14h45 (B2) L-4714

Plan triennal

2025-2026 2026-2027 2027-2028
Automne Hiver Été Automne Hiver Été Automne Hiver Été
- Cours de jour - - - - - - -