Artículo.
presentado en International SPIN Symposium on Model Checking of Software del 2017, Autores: Daniel Ratiu, Andreas Ulrich Abstract Debido a su capacidad para integrarse bien con el código C, Spin se ha utilizado para la verificación del código C en función de modelos de entorno que describen el