Describir: Application de la méthode de vérification de modèles sur des protocoles de communication JAVA