Text this: Optimization Based Clearance of Flight Control Laws