Anvil: Verifying Liveness of Cluster Management Controllers

Download PDF
Open Webpage

Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, Tianyin Xu

Published: 2024, Last Modified: 07 Jan 2026OSDI 2024EveryoneRevisionsBibTeXCC BY-SA 4.0