C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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