1 Test des Machines de Mealy Stavros Tripakis Laboratoire Verimag Master 2 Recherche S&L « Méthodes de test »