The article discusses how to make sure airplane hardware is safe. It compares different ways to check if the hardware meets requirements. The researchers suggest using advanced methods like requirements-based verification and formal methods. They also talk about using specific metrics to measure how well the verification process is going.