Verifying Zookeeper based on Model-Based runtime Trace-Checking using TLA+ - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Zhi Niu' in GoogleThis author has not been identified. Look up 'Luming Dong' in GoogleThis author has not been identified. Look up 'Yong Zhu' in GoogleThis author has not been identified. Look up 'Li Chen' in Google

runs on WebDSL