Artículo.
última década [2], hay un conjunto de razones pragmáticas que hacen que el uso de Spin para la verificación de código sea atractivo en comparación con los verificadores de modelo de software especializado. Subconjunto de idiomas de C / C ++. Hasta donde sabemos, los comprobadores de modelos de