you can abstract IO and async'ness from the implementation, and model it as a pure function. Then build and inspect the state space. A detailed description was

you can abstract IO and async'ness from the implementation, and model it as a pure function. Then build and inspect the state space. A detailed description was done here: https://incubaid.wordpress.com/2012/10/25/caulking-your-distributed-algorithm-implementation/ https://incubaid.wordpress.com/2012/10/25/caulking-your-dist...