VeriCon: towards verifying controller programs in software-defined networks.

Thomas Ball, Nikolaj S. Bjrner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky

Browse the full PLDI paper archive.