Spin Model Checker.
aterrizaje. Dos personas perdieron la vida cuando el avión se fue al final de la pista. El aspecto más fascinante de un accidente como este, es que nadie cometió ningún error en el diseño o la operación de este avión. Todos los componentes fueron diseñados de una manera muy sensible. Sin embargo,