4 ms·

any examples of where TLA+ is being used? do any open source projects use this?

• 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-...