Read news on passing bug with our app.
Read more in the app
Modelling the archetype of a message-passing bug with TLA+ (2022)