What is object code verification in DO-178C? (and how do you do it?)

Free DO-178C verification handbook: https://www.rapitasystems.com/do178c-explained DO-178C objective 6.4.4.c includes a required activity to verify additional code introduced by the compiler for DAL A projects i.e. code that cannot be traced to Source Code to demonstrate the correctness of such additional code sequences. But how do you verify object code for DO-178C? Chapters 00:00 Introduction 20:25 Approaches to verification 50:34 Q&A _______________________________________________________ Connect with us on LinkedIn: https://www.linkedin.com/company/rapita-systems/ About Rapita Systems Rapita Systems group provides on-target software verification tools and services globally to the embedded aerospace and automotive electronics industries. Its solutions, including requirements-based functional testing, structural code coverage analysis and worst-case execution time analysis, help to increase software quality and deliver evidence to meet safety and certification objectives and reduce costs for DO-178C and ISO 26262 projects. The group provides the world’s leading commercial solution for timing analysis to support the certification of multicore systems, including systems developed to meet AC 20-193, AMC 20-193 and AA-22-01 standards.