1 paper · 1 filter
Hongyu Hè, Maria Apostolaki
A formal model enables verifying reachability, localizing an outage, or anticipating the blast radius of a change. Yet, virtually no production network has one, since writing a mod…