Kivi: Verification for Cluster Management.
Bingzhe LiuGangmuk LimRyan BeckettPhilip Brighten GodfreyPublished in: USENIX ATC (2024)
Keyphrases
- management system
- information systems
- clustering algorithm
- data clustering
- information management
- neural network
- data mining
- knowledge management
- cluster analysis
- high assurance
- databases
- fingerprint verification
- formal verification
- signature verification
- project management
- hierarchical clustering
- model checking
- health care
- data management
- similarity measure