quickcheck-state-machine-distributed (hackage): Please see the README on Github at https://github.com/advancedtelematic/quickcheck-state-machine-distributed#readme
Keywords: bsd2|library|testing|haskell|haskell-library|linearizability|quickcheck|race-conditions|state-machine