maoling created ZOOKEEPER-3615:
----------------------------------
Summary: write a TLA+ specification to verify Zab protocol
Key: ZOOKEEPER-3615
URL: https://issues.apache.org/jira/browse/ZOOKEEPER-3615
Project: ZooKeeper
Issue Type: Wish
Components: documentation, server
Reporter: maoling
Assignee: maoling-- This message was sent by Atlassian Jira (v8.3.4#803005)
