SEOC cours de Validation des systèmes embarqués 2019-

De Ensiwiki
Aller à : navigation, rechercher

SEOC 3A 2019-2020 -- Validation des systèmes embarqués


Florence.Maraninchi@univ-grenoble-alpes.fr, Pascal.Raymond@univ-grenoble-alpes.fr




Dans ce cours nous étudions des techniques de validation automatique de systèmes informatiques : le model-checking (qui a valu en 2007 le prix Turing à Joseph Sifakis, fondateur du laboratoire Verimag, voir ce communiqué de l'ACM) et l'interprétation abstraite.

NOUVEAU en 2019-2020 : pour ne plus avoir à manipuler chamilo, les documents sont mis à disposition sur le serveur git ensimag.