Introduction Originally written by Leslie Lamport, sourced from here. It’s hard to find out about the use of TLA⁺ in industry. Companies usually don’t talk about their engineering process, and any specifications they write are almost always proprietary. I happened to have contacts at Intel and Amazon who were willing to describe how they used TLA⁺, and Amazon even published a couple of papers about it. And of course, I know about much of the TLA⁺ use at Microsoft. I learned about it...
