Conference
Welder: Compositional Liveness Verification of Cluster Control Planes
| Τίτλος: | Welder: Compositional Liveness Verification of Cluster Control Planes |
|---|---|
| Συγγραφείς: | Cai, Zhizhen Cathy, Date, Nikhil, Gu, Jiawei Tyler, Rivera, Cody, Chajed, Tej, Padon, Oded, Xu, Tianyin, Sun, Xudong |
| Πηγή: | Proceedings of the ACM SIGOPS 32nd Symposium on Operating Systems Principles. :713-729 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3830418.3843868 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3830418.3843868 |
|---|