Aide à la vérification de programmes concurrents par transformation de code et de spécifications

[ 2017 ] Thesis

Thèse soutenue le 12 décembre 2016.

Jury composé de:

• Sébastien Limet, Président du jury (Université d'Orléans)
• Frédéric Loulergue, Directeur de thèse (Northern Arizona University)
• Catherine Dubois, Rapporteur (ENSIIE)
• Sylvain Conchon, Rapporteur (Université Paris-Sud)
• Nikolai Kosmatov, Encadrant (CEA LIST)
• Stephan Merz, Examinateur (INRIA)
• Jan-Georg Smaus, Examinateur (Université de Toulouse)
• Louis Rilling, Examinateur (DGA)

Thesis

Slides