Fingerprint
Dive into the research topics of 'VeriCon: Towards verifying controller programs in software-defined networks'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
VeriCon: Towards verifying controller programs in software-defined networks
Thomas Ball, Nikolaj Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
159
Scopus
citations