A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems