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:- https://learntla.com/introduction/- Pracitcal TLA+It’s much easier to get running with than other formal methods tools like Isabelle and Coq.