Space Exploration Technologies Corp. is filing a formal protest in the U.S. Court of Federal Claims over a multibillion-dollar U.S. Air Force contract to its incumbent launch services provider, United Launch Alliance, SpaceX founder and Chief Executi