Spin Model Checker.
deslizarse y ocultarse como defectos residuales en el código de producción, con el potencial de golpear en el momento menos oportuno en la vida útil del sistema. Para encontrar este tipo de problemas de una manera más sistemática, necesitamos un tipo diferente de método de verificación. Los métodos