Or model checking fault-tolerant algorithms that have more states than the atoms in the universe| Protocols Made Fun
Authors: Denis Kolegov (Matter Labs), Igor Konnov| Protocols Made Fun
Specifying Systems| lamport.azurewebsites.net
The TLA+ Video Course| lamport.azurewebsites.net
I am the creator of TLA+,| lamport.azurewebsites.net