9 ms·
Both Microsoft (Leslie Lamport's current employer) and AWS, at least: https://en.wikipedia.org/wiki/TLA%2B#Industry_use https://en.wikipedia.org/wiki/TLA%2B#In
by rrdharan 9y ago
Both Microsoft (Leslie Lamport's current employer) and AWS, at least:
https://en.wikipedia.org/wiki/TLA%2B#Industry_use https://en.wikipedia.org/wiki/TLA%2B#Industry_use
- staticassertion 8y agoSeems like good company to be in.
- makmanalp 8y agoThat Lamport and his current company are using TLA+ does not surprise me ;-) AWS is interesting. Before jepsen and similar stuff we used to have to take the vendor's word on a lot of claims. Hopefully the attitude there is changing towards more public self-verification (releasing stuff this) and then independent external verification!