It would be easy to get bogged down in the claims and counter-claims about whether Object Code Verification is useful in the context of DO-178C DAL A applications, or not. This DER's perspective of Object Code Verification with respect to DO-178C Annex A Table A-7 Objective #9 may help to cut through the confusion.