Specifically they run IBM zTPF on their mainframes, which is also used by airlines. Some installations have uptimes measured in decades.
https://www.ibm.com/it-infrastructure/z/transaction-processi...
https://www.ibm.com/it-infrastructure/z/transaction-processi...
Not change.