Artículo.
lenguaje de definición de arnés ofrece características adicionales, como llamar al SUV dentro del arnés, asignaciones de variables, bucles y aserciones. La traducción de estos conceptos a Promela es sencilla. Cada vez que el generador del lenguaje de definición del arnés en Promela encuentra