Thursday, 9 April 2015

[Article] How Amazon Web Services Uses Formal Methods

A great paper worth reading!
How Amazon Web Services Uses Formal Methods

The article shows some real-world industrial examples that apply formal methods in complicate cloud-based systems at Amazon.

Key points:
- That the application of formal methods in the industry means high investment is not always right. This article demonstrated high return on investment.
- Learn and application of formal methods might be not always too difficult for engineers. Cases in the article show how Amazon's engineers learn TLA+ and apply it in their projects to find bugs or gain more confidence.
- There are some side benefits as well, such as better way of designing systems, good understanding of systems, checking of correctness properties, more confidence to add new features and do performance optimizations, and the same mental model of the system to all.