L lamport.azurewebsites.net TLA+: design, model, document, and verify concurrent systems 148 points lolptdr 7 years ago 32 comments
