Desarrollo de un entorno visual para la verificación de software crítico en sistemas aeronáuticos

Diseño de un entorno visual para apoyar la verificación de software crítico en sistemas aeronáuticos, con énfasis en fiabilidad y validación.