“…Recently, the verification of MAS has become an attractive field of research [3,9,10,19,20,24,26,25,30,33]. However, in the domain of agent communication, only few research work tried to address the verification of agent communication protocols [1,2,15,17,18,32].…”