"With mathematics, we can predict the behavior of systems before a single line of code is written." - Marc Brooker, VP/Distinguished Engineer at AWS #TLAPlusConf#FormalMethods#OpenSource

Interested in how AWS uses TLA+? Check out the 2015 CACM article ⤵️ www.amazon.science/publications...#TLAPlus#TLAPlusConf#OpenSource

How Amazon Web Services uses formal methods

Since 2011, ENGINEERS at Amazon Web Services (AWS) have used formal specification and model checking to help solve difficult design problems in critical systems. Here, we describe our motivation and e...