Video/Leslie Lamport: Thinking Above the Code

Lamport, Leslie (Jul 16, 2014). Leslie Lamport: Thinking Above the Code. local page: Microsoft Research. 

Real World Testimonials

The section where he cites Amazon Engineer, Chris Newcombe starts here:

We have used TLA+ on 10 large complex real-world systems. In every case TLA+ have added significant value, either preventing subtle serious bugs from reaching production, or giving us enough understanding and confidence to make aggressive performance optimizations without sacrificing correctness.

— Chris Newcombe

The management of amazon explicitly encouraged the use of TLA+:

The management will never let us use formal methods...

References

Related Pages

Microsoft Research Leslie Lamport