Zhi Niu, Luming Dong, Yong Zhu, Li Chen. Verifying Zookeeper based on Model-Based runtime Trace-Checking using TLA+. In Proceedings of the 7th International Conference on Cyber Security and Information Engineering, ICCSIE 2022, Brisbane, QLD, Australia, September 23-25, 2022. pages 13-18, ACM, 2022. [doi]
Abstract is missing.