VeriCon: towards verifying controller programs in software-defined networks

Article Details
Title:	VeriCon: towards verifying controller programs in software-defined networks
Article URLs:	https://doi.org/10.1145/2594291.2594317
Alternative Article URLs:
Authors:	Thomas Ball	Microsoft Research
	Nikolaj Bjørner	Microsoft Research
	Aaron Gember	University of Madison-Wisconsin
	Shachar Itzhaky	Tel Aviv University
	Aleksandr Karbyshev	Technische Universität München
	Mooly Sagiv	Tel Aviv University
	Michael Schapira	Hebrew University
	Asaf Valadarsky	Hebrew University
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://www.cs.tau.ac.il/~shachar
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/pldi/BallBGIKSSV14
Author Comments:

ACM Programming Language Design and Implementation, PLDI 2014