Verifying Zookeeper based on Model-Based runtime Trace-Checking using TLA+.

Zhi Niu Luming Dong Yong Zhu Li Chen

Published in: ICCSIE (2022)

Keyphrases

multiresolution
temporal logic
data driven
model checking
verification method
website
high quality
artificial intelligence
image segmentation
reinforcement learning
optimal solution
model free
consistency checking