Ce papier discute de la validation de spécifications formelles en B-événementiel par l'exécution de la spécification. Les outils actuels pour B événementiel, les animateurs et les traducteurs, ne peuvent exécuter qu'un ensemble restreint de spécifications. Donc, nous proposons une troisième technique, la simulation, dans laquelle les utilisateurs et les outils coopèrent pour produire une instance exécutable du modèle. Après une courte présentation de B événementiel et de notre environnement de simulation, JeB, nous montrons comment l'utiliser sur deux études de cas assez complexes. Les observations et analyses faites d'un point de vue de la validation sont présentées et discutées.