Spin Model Checker.
tanto, tienen una protección incorporada para evitar que esto suceda. Esto incluye,que los inversores de empuje no puedan desplegar a menos que se cumplan ciertas condiciones. En este caso, no cumplía todas las condiciones por ello el software de control no decidió hasta nueve segundos después del