The author of this book doesn't work at a big cloud provider (afaik) and wrote a pretty good write up on verifying a device setup protocol: https://medium.com/

The author of this book doesn't work at a big cloud provider (afaik) and wrote a pretty good write up on verifying a device setup protocol: https://medium.com/espark-engineering-blog/formal-methods-in-practice-8f20d72bce4f https://medium.com/espark-engineering-blog/formal-methods-in...