Certifying avionics software has been, is, and always will be a daunting, time-consuming task for avionics hardware and software designers. Thanks to advances in aircraft technology, modernized software, a shift in the programming languages used, and the emergence of artificial intelligence and machine learning (AI/ML) technology, certification continues to get more complex. Meanwhile, technical standards such as the Future Airborne Capability Environment (FACE) are aiding not only software certification but also overall avionics software development.