Computer Science Nerdz 09.2019
- TLA+
- Formal Verification
- Cloud Computing
- AWS
- Distributed Systems
When?
Event took place .
Date:
Time:
Where?
Social Media
Talks and Speakers
Title: Why Amazon Chose TLA+
Abstract: Since 2011, engineers at Amazon have been using TLA+ to help solve difficult design problems in critical systems. A set of whitepapers that we will analyze describe the reasons why we chose TLA+ instead of other methods, and areas in which we would welcome further progress.
Wojciech Gawronski
Bio: Principal Cloud Architect at Pattern Match