Kivi: Verification for Cluster Management.

Bingzhe Liu, Gangmuk Lim, Ryan Beckett, Philip Brighten Godfrey

Browse the full USENIX paper archive.