Validating Datacenters At Scale

Jayaraman, K; Bjorner, N; Padhye, J; Agrawal, A; Bhargava, A; Bissonnette, PAC; Foster, S; Helwer, A; Kasten, M; Lee, I; Namdhari, A; Niaz, H; Parkhi, A; Pinnamraju, H; Power, A; Raje, NM; Sharma, P

Jayaraman, K (reprint author), Microsoft, Redmond, WA 98052 USA.

SIGCOMM '19 - PROCEEDINGS OF THE ACM SPECIAL INTEREST GROUP ON DATA COMMUNICATION, 2019; (): 200

Abstract

We describe our experiences using formal methods and automated theorem proving for network operation at scale. The experiences are based on developing......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索