A methodology for developing a verifiable aircraft engine controller from formal requirements
M Luckcuck, M Farrell, O Sheridan… - 2022 IEEE Aerospace …, 2022 - ieeexplore.ieee.org
Verification of complex, safety-critical systems is a significant challenge. Manual testing and
simulations are often used, but are only capable of exploring a subset of the system's …
simulations are often used, but are only capable of exploring a subset of the system's …