2 ms·Also of note was Leslie Lamport's recent talk on how Amazon uses TLA+ to verify algorithms.by platz 13y agoAlso of note was Leslie Lamport's recent talk on how Amazon uses TLA+ to verify algorithms.bojblaz 13y agoGoogled to no avail... link please?platz 13y agohttp://channel9.msdn.com/Events/Build/2014/3-642 http://channel9.msdn.com/Events/Build/2014/3-642