Gems from TLA+ Community Day: "Formal mathematics is nature's way of letting you know how sloppy your mathematics is." — Leslie Lamport "Animation and visualization is nature's way of letting you know how sloppy your formal mathematics is." — Michael Leuschel #FM2024#TLAPlus

"Keeping things simple is even harder!" <- TRUTH #TLAPlusConf#TLAPlus#ComplexSystems

"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

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

[new blog post] Cabbage, Goat, and Wolf Puzzle in TLA+ muratbuffalo.blogspot.com/2023/10/cabb...#tlaplus