wes: "I found this to be an interesting read on formal …" - Qoto Mastodon

wes @wes@qoto.org

I found this to be an interesting read on formal methods for verification of complex distributed systems at AWS https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf

Feb 14, 2020, 16:13 · · Toot! · · ·

Sign in to participate in the conversation