Artículo.
comienza con el diseño de los conceptos de lenguaje y sus relaciones entre ellos (sintaxis abstracta). La Figura 3 muestra una descripción general de alto nivel de cómo se soporta la implementación del lenguaje Promela y su integración con otros lenguajes en mbeddr. Un PromelaModule contiene