How Amazon Web Services Uses Formal Methods (2015) [pdf]
I’ve started using TLA+ in my spare time. There are several good sites and books to learn more about it:<p>- <a href="https://learntla.com/introduction/" rel="nofollow">https://learntla.com/introduction/</a><p>- Pracitcal TLA+<p>It’s much easier to get running with than other formal methods tools like Isabelle and Coq.