Spin Model Checker.
confidencia. Idealmente el sistema final sólo se ensambla cuando todos los componentes más pequeños han sido probados correctamente. Sin embargo algunos problemas de diseño solo pueden ser evidenciados a nivel del sistema. Un buen ejemplo de este fenómeno es lo que sucedió el 14 de septiembre de