VeriCon: towards verifying controller programs in software-defined networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas Ball, Nikolaj Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky. VeriCon: towards verifying controller programs in software-defined networks. In Michael F. P. O'Boyle, Keshav Pingali, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014. pages 31, ACM, 2014. [doi]

This author has not been identified. Look up 'Thomas Ball' in GoogleThis author has not been identified. Look up 'Nikolaj Bjørner' in GoogleThis author has not been identified. Look up 'Aaron Gember' in GoogleThis author has not been identified. Look up 'Shachar Itzhaky' in GoogleThis author has not been identified. Look up 'Aleksandr Karbyshev' in GoogleThis author has not been identified. Look up 'Mooly Sagiv' in GoogleThis author has not been identified. Look up 'Michael Schapira' in GoogleThis author has not been identified. Look up 'Asaf Valadarsky' in Google

runs on WebDSL