Rapport d'activité - I3S du pôle de compétivité « Solutions Communicantes ...... une relaxation linéaire fine et sûre des relations po- ..... per des modèles et procédures pour la vérification de ...... Norbert Giambiasi of LSIS (Marseille) .... problem from which we derive complexity and ap- ......entité de recherche couvrant un domaine bien iden- ...