Lamport on why writing a specification before you write code is the difference between engineering and guessing — and why TLA+ exists to make that possible.
Jump to a talk or filter by speaker.
