Difference between revisions of "Video/Leslie Lamport: Thinking Above the Code"
Jump to navigation
Jump to search
| Line 16: | Line 16: | ||
|height=360 | |height=360 | ||
}} | }} | ||
==Real World Testimonials== | |||
The section where he cites Amazon Engineer, Chris Newcombe starts here: | |||
{{Blockquote|text=[https://youtu.be/-4Yp3j_jk8Q?t=1400 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.]|sign=Chris Newcombe}} | |||
The management of amazon explicitly encouraged the use of TLA+: | |||
{{Blockquote|text=[https://youtu.be/-4Yp3j_jk8Q?t=1440 The management will never let us use formal methods...]}} | |||
=References= | =References= | ||
<references/> | <references/> | ||
Revision as of 14:08, 27 May 2022
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:
— Chris Newcombe
The management of amazon explicitly encouraged the use of TLA+: