Troisième année

^{Ce cours est destiné aux étudiants de Ing 3 INFO.}

^{Objectifs du cours:} 

• ^{Initier à la méthode B et à Event-B.}
• ^{Spécifier et modéliser formellement des systèmes en B/Event-B.}
• ^{Maîtriser le raffinement et la preuve de modèles.}
• ^{Utiliser des outils Event-B.}
• ^{Appliquer ces concepts dans un mini-projet.}

^{Références:}

• ^{CANSELL, Dominique et MÉRY, Dominique. Foundations of the B method. Computing and informatics, 2003, vol. 22, no 3-4, p. 221-256.}
• ^{Jean-Raymond Abrial. Modeling in Event-B: system and software engineering. Cambridge University Press, 2010.}