Artículo.
fundamentos y sus reglas de traducción a Promela. Nuestro objetivo es hacer que el arnés se vea como el código C con un número mínimo de construcciones especiales para reducir el obstáculo de aceptación para los desarrolladores que son los usuarios objetivo del enfoque. Los conceptos de lenguaje se