Artículo.
ejecutables que son procesados ​​por Spin; 3) Desarrollamos una forma mejorada de expresar testigos de ejecuciones de verificaciones fallidas para facilitar su comprensión, y 4) Describimos mbeddr-spin, una herramienta que implementa nuestro enfoque. El resto del documento está organizado de la