With the increase in complexity of modern aircrafts, it has become challenging to systematically verify the safety of the system. However, advancements in bounded systems and a culture of continuous inquiry can make it possible to ensure a predictable and safe behavior of the aircraft during potential failure scenarios.