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