3 ms·
> any examples of where TLA+ is being used? If you use Amazon AWS its pretty much guaranteed you'll be using at least one service that's been modelled using TL
by traceroute66 4y ago
> any examples of where TLA+ is being used?
If you use Amazon AWS its pretty much guaranteed you'll be using at least one service that's been modelled using TLA+.[1]
[1] https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-...