En este artículo, propusimos un método de verificación para el comportamiento de paso de mensajes de los sistemas IoT al verificar la relación acumulativa de eventos de los modelos de proceso. En un sistema IoT, es difícil verificar el comportamiento del paso de mensajes solo observando la secuencia de transmisiones de paquetes registradas en el registro del sistema. Propusimos un método para extraer relaciones de eventos del registro y verificar cualquier desviación menor que exista en el sistema. Utilizando minería de procesos, extrajimos la variación de un modelo de proceso normal del registro. Verificamos cualquier desviación que es difícil de detectar a menos que el modelo se acumule y apile con el tiempo. El comportamiento de paso de mensajes se puede verificar comparando la similitud del modelo de árbol de procesos, que representa la relación de ejecución entre cada evento de paso de mensajes. Como resultado, podemos detectar desviaciones menores como eventos faltantes y orden de eventos perturbado con una probabilidad de ocurrencia tan baja como el 3%.