Biblio

Export 2 results:
Filters: Author is Ali Kheradmand  [Clear All Filters]
2020
Prabhu S, Chou KYen, Kheradmand A, Godfrey B, Caesar M.  2020.  Plankton: Scalable network configuration verification through model checking . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :953--967.
2017
Horn A, Kheradmand A, Prasad M.  2017.  Delta-net: Real-time Network Verification Using Atoms. 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). :735--749.