You are viewing a plain text version of this content. The canonical link for it is here.

Posted to notifications@zookeeper.apache.org by GitBox <gi...@apache.org> on 2020/10/18 07:40:07 UTC

[GitHub] [zookeeper] maoling commented on pull request #1299: ZOOKEEPER-3615:[WIP] write a TLA+ specification to verify Zab protocol

maoling commented on pull request #1299:
URL: https://github.com/apache/zookeeper/pull/1299#issuecomment-711129895


   @hengxin
   Yes, it's always in my plan. I have recently spent a few time to have a comprehensive learning on the formal method. 
   Given my other works in the community, after finishing `ZOOKEEPER-3600,` I will resume this work, and contribute the specification to the project: [tlaplus/Examples](https://github.com/tlaplus/Examples) for their guys' review. This work must be done at the end of this year(2020-12-31) at latest.(I promise:)).


----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
users@infra.apache.org