News for hackers. Stuff that matters.

A comment on Introduction to TLA+ Model Checking in the Command Line. Parent comment

Re:Introduction to TLA+ Model Checking in the Command Line by SEJeff on Friday January 18, 2019 @09:11AM (#18939376)
The architect of AWS, James Hamilton, is a huge fan of formal verification and has spoken about it at length.

https://perspectives.mvdirona.com/2014/07/challenges-in-desi...

http://lamport.azurewebsites.net/tla/amazon-excerpt.html

[ Parent | on HN ]
Re:Introduction to TLA+ Model Checking in the Command Line by Twirrim on Friday January 18, 2019 @11:16AM (#18940300)
Indeed. As I recall, he was really happy to hear my team was using it for the component.
[ Parent | on HN ]