Brisk is an implementation of Canonical Sequentialization for Cloud Haskell programs.
Brisk automatically analyzes parameterized Cloud Haskell programs for local state reachability and deadlock-freedom as described in the paper Verifying Distributed Programs via Canonical Sequentialization