Artículo.
manera simple y directa de describir el arnés de verificación mezclando la distinción entre el código C y las declaraciones de Promela. El trabajo presentado en este documento mejora el enfoque de verificación de código impulsado por modelo [11] con los siguientes aspectos: 1) Definimos un pequeño