Video/Leslie Lamport: Thinking Above the Code
Jump to navigation
Jump to search
Lamport, Leslie (Jul 16, 2014). Leslie Lamport: Thinking Above the Code. local page: Microsoft Research.
The section where he cites Amazon Engineer, Chris Newcombe starts here: Quote of Newcombe
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