Artículo.
software existentes solo funcionan con subconjuntos del lenguaje C / C ++. Es decir, las extensiones específicas del compilador, los fragmentos del ensamblador o las funciones complejas de C / C ++ no son compatibles. Por el contrario, Spin se puede usar para verificar todos los códigos que se