Email : idiraitsadoune@lmf.cnrs.fr Université Paris-Saclay, CentraleSupelec, Laboratoire Méthodes Formelles - LMF