3 ms·There is use in software too, for critical parts mostly. Microsoft and Amazon use TLA+.by snaky 10y agoThere is use in software too, for critical parts mostly. Microsoft and Amazon use TLA+.