GitHub repository: BinyuHuang-nju/zab-v3.7-tla
Primary language: TLA
Created: 2022-05-25T06:11:30Z
Description: Specifying and Verfying Zab in apache/zookeeper (with version 3.7.x) using TLA+