Aircraft use multiple flight systems developed by separate teams in separate languages/technologies -- and then compare their answers to get redundant consensus.