Artículo.
máquina de estado. En la Figura 14 presentamos un ejemplo de un arnés para verificar la máquina de estado. Este arnés hace uso de la construcción de varios pasos que permite la verificación en varios pasos. El SUV contiene la función init_sm () para inicializar la máquina de estados y la función