Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study