Spin Model Checker.
no fue diseñado para hacer frente a la combinación inesperada de los eventos que ocurrieron. Cuando los sistemas complejos fallan, los escenarios que desencadenan las fallas normalmente no podrían haber sido imaginadas por ningún diseñador humano sensato. Por cada escenario de falla considerado,