Artículo.
Descripción general de la pila de tecnología de mbeddr; DSL para codificación (lado izquierdo), herramientas y DSL para análisis formales (centro). 3.3 Integrando Spin en MBEDDR Definición del lenguaje. Este documento comprende la definición de una DSL para el diseño de arneses de verificación, que