Ankur Agrawal presenting a slide with the text "building simple systems is complex!"

"Keeping things simple is even harder!" <- TRUTH

#TLAPlusConf #TLAPlus #ComplexSystems

Marc Brooker presenting a slide that reads "formal methods are just good engineering practice"

Controversial or not controversial statement? I sure hope that folks don't find it outlandish!

#TLAPlusConf #FormalMethods #Engineering

Slide that reads "find bugs earlier, move faster"

🙌

#TLAPlusConf

"TLA+ is a design time tool that accelerates our engineering practice" - Marc Brooker

It also reduces debugging time and, importantly, the frequency of paging engineers in the middle of the night!

#TLAPlusConf #TLAPlus #FormalMethods

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...

Interested in how AWS uses TLA+? Check out the 2015 CACM article ⤵️

www.amazon.science/publications...

#TLAPlus #TLAPlusConf #OpenSource

Photo of Marc Brooker presenting a slide at TLA+ Conference

"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