Back to Results
First PageMeta Content
Computing / Network architecture / Emerging technologies / Software engineering / Configuration management / Software-defined networking / Information technology management / Programming paradigms / Refinement / Programming language / Model checking / SIGCOMM


Towards Correct-by-Construction SDN Leonid Ryzhyk1 , Nikolaj Bjørner2 , Marco Canini3 , Jean-Baptiste Jeannin1 , Nina Narodytska1 , Cole Schlesinger1 , Douglas B. Terry1 , and George Varghese2 1 Samsung Research Americ
Add to Reading List

Document Date: 2016-07-31 22:09:02

Open Document

File Size: 45,10 KB

Share Result on Facebook