@hackage / quickcheck-state-machine-distributed

Test monadic programs using state machine based models