Kivi: Verification for Cluster Management.

Bingzhe Liu Gangmuk Lim Ryan Beckett Philip Brighten Godfrey

Published in: CoRR (2023)

Keyphrases

management system
clustering algorithm
model checking
information management
cluster analysis
data processing
information systems
verification method
network management
data clustering
decision support
decision making
formal verification
clustering method
knowledge management
data points
case study
neural network