Test monadic programs using state machine based models
Repository from Github https://github.comadvancedtelematic/quickcheck-state-machine-distributedRepository from Github https://github.comadvancedtelematic/quickcheck-state-machine-distributed