Artículo.
Promela y C. De este modo, escribir y comprender estos modelos híbridos es difícil y propenso a errores. Al solucionar este problema, desarrollamos un lenguaje especializado para modelos de entorno de prensado utilizados en los arneses de verificación. Nuestro lenguaje armoniza el uso de Promela y