Re:Using TLA+ to Model Cascading Failures
by baq on Thursday April 11, 2019 @11:27AM
(#19635533)
Lamport claims on his website that Amazon uses TLA+ and has used it for quite a while now. Saying that to confirm plausibility of this story.
[ Parent
| on HN ]
Re:Using TLA+ to Model Cascading Failures
by Twirrim on Thursday April 11, 2019 @11:44PM
(#19641780)
Amazon/AWS has published a few white papers about their use of TLA+ and other Formal Methods:http://lamport.azurewebsites.net/tla/formal-methods-amazon.p....
James Hamilton is a fan of TLA+, and talks about its use in Amazon: https://perspectives.mvdirona.com/2014/07/challenges-in-desi...