Delta-net: Real-time Network Verification Using Atoms

Article Details
Title:	Delta-net: Real-time Network Verification Using Atoms
Article URLs:	https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/horn-alex
Alternative Article URLs:
Authors:	Alex Horn	Fujitsu Labs of America
	Ali Kheradmand	University of Illinois at Urbana-Champaign
	Mukul R. Prasad	Fujitsu Labs of America
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://github.com/Delta-net
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/nsdi/HornKP17
Author Comments:

USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017