Test de validation du protocole de contrôle d'IPv6
Abstract
Ce rapport présente la spécification formelle du protocole de contrôle d'IPv6 en SDl'97. La simulation et la validation de ce protocole sont également abordées dans ce travail.