Actuellement, les méthodes formelles sont de plus en plus utilisées dans le but d‟analyser le comportement des systèmes concurrents distribués. Ces méthodes utilisent des modèles formels de spécification dotés de sémantiques ...