@hackage quickcheck-state-machine0.5.0

Test monadic programs using state machine based models