@hackage quickcheck-state-machine-distributed0.0.1

Test monadic programs using state machine based models