Artículo.
implementar nuestro enfoque. La Sección 4 presenta nuestro lenguaje de defnición del arnés de verificación con un conjunto de conceptos de lenguaje necesarios y su traducción a Promela. En la Sección 5, describimos cómo se puede crear una instancia de nuestro enfoque para verificar diversas