M medium.com Modelling the archetype of a message-passing bug with TLA+ (2022) 30 points surprisetalk 2 years ago 4 comments
