Modélisation
et Spécification

Année 2020-2021 :

Sujet du partiel (devoir de confinement)

Éléments de correction (exo 3)

Sujet de l'examen

Éléments de correction (partie Spécification)

Année 2019-2020 :

Page du cours
Sujet du partiel

Éléments de correction (exos 3 et 4)

Sujet de l'examen

Éléments de correction (partie Spécification)

Année 2018-2019 :

Sujet du partiel

Éléments de correction (exo 3)

Sujet de l'examen

Éléments de correction (exo 4)

Année 2017-2018 :

Sujet du partiel

Éléments de correction (exos 3 à 5)

Sujet de l'examen

Année 2016-2017 :

Année 2015-2016 :

Année 2012-2013 :

Sujet de l'examen

Année 2011-2012 :

Page des TD/TP
Sujet du partiel
Sujet du partiel de rattrapage
(pour les absents au partiel)
Sujet de l'examen

Éléments de correction (exo 1)

Année 2010-2011 :

Page des TD/TP
Sujet du partiel
Sujet de l'examen
(quasiment identique au sujet 2006-2007)
Rattrapage : examen oral sur LTL, CTL et Petri

Année 2009-2010 :

Sujet de l'examen

Année 2007-2008 :

Sujet du partiel

Année 2006-2007 :

Sujet de l'examen

Année 2005-2006 :