Towards automated verification of multi-party consensus protocols

Re-assign community