3 ms·
Apparently, Amazon is using TLA+ to some extent or another.
by Tainnor 5y ago
Apparently, Amazon is using TLA+ to some extent or another.
- DylanSp 5y agoYep, at least on the AWS side. See https://m-cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext https://m-cacm.acm.org/magazines/2015/4/184701-how-amazon-we...
- tluyben2 5y agoTLA+ is a good way to get into to some formalization: it is easy to learn.