Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100402266> ?p ?o ?g. }
- W3100402266 endingPage "291" @default.
- W3100402266 startingPage "256" @default.
- W3100402266 abstract "Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet, which began as a research experiment, was never designed to handle the users and applications it hosts today. The lack of formalization of the Internet architecture meant limited abstractions and modularity, particularly for the control and management planes, thus requiring for every new need a new protocol built from scratch. This led to an unwieldy ossified Internet architecture resistant to any attempts at formal verification and to an Internet culture where expediency and pragmatism are favored over formal correctness. Fortunately, recent work in the space of clean slate Internet design-in particular, the software defined networking (SDN) paradigm-offers the Internet community another chance to develop the right kind of architecture and abstractions. This has also led to a great resurgence in interest of applying formal methods to specification, verification, and synthesis of networking protocols and applications. In this paper, we present a self-contained tutorial of the formidable amount of work that has been done in formal methods and present a survey of its applications to networking." @default.
- W3100402266 created "2020-11-23" @default.
- W3100402266 creator A5037574053 @default.
- W3100402266 creator A5066768973 @default.
- W3100402266 date "2015-01-01" @default.
- W3100402266 modified "2023-09-25" @default.
- W3100402266 title "Applying Formal Methods to Networking: Theory, Techniques, and Applications" @default.
- W3100402266 cites W1480909796 @default.
- W3100402266 cites W1489391022 @default.
- W3100402266 cites W1499832866 @default.
- W3100402266 cites W1503170978 @default.
- W3100402266 cites W1505851021 @default.
- W3100402266 cites W1508472170 @default.
- W3100402266 cites W1511203305 @default.
- W3100402266 cites W1516256348 @default.
- W3100402266 cites W1519503479 @default.
- W3100402266 cites W1535237014 @default.
- W3100402266 cites W1537807286 @default.
- W3100402266 cites W1545344643 @default.
- W3100402266 cites W1546692412 @default.
- W3100402266 cites W1549449731 @default.
- W3100402266 cites W1553511155 @default.
- W3100402266 cites W1563268400 @default.
- W3100402266 cites W1563919005 @default.
- W3100402266 cites W1580999956 @default.
- W3100402266 cites W1596552075 @default.
- W3100402266 cites W1599313551 @default.
- W3100402266 cites W1606452969 @default.
- W3100402266 cites W1612453857 @default.
- W3100402266 cites W1619834435 @default.
- W3100402266 cites W1631091010 @default.
- W3100402266 cites W165055852 @default.
- W3100402266 cites W1749713674 @default.
- W3100402266 cites W1819209966 @default.
- W3100402266 cites W1858410342 @default.
- W3100402266 cites W1903445364 @default.
- W3100402266 cites W1903450197 @default.
- W3100402266 cites W1930200668 @default.
- W3100402266 cites W1936144616 @default.
- W3100402266 cites W1949062307 @default.
- W3100402266 cites W1972121713 @default.
- W3100402266 cites W1976430953 @default.
- W3100402266 cites W1978358700 @default.
- W3100402266 cites W1981480808 @default.
- W3100402266 cites W1983405933 @default.
- W3100402266 cites W1983586250 @default.
- W3100402266 cites W1994726832 @default.
- W3100402266 cites W1996109622 @default.
- W3100402266 cites W1998368317 @default.
- W3100402266 cites W2000947342 @default.
- W3100402266 cites W2001859357 @default.
- W3100402266 cites W2004929506 @default.
- W3100402266 cites W2008626182 @default.
- W3100402266 cites W2011606665 @default.
- W3100402266 cites W2014100935 @default.
- W3100402266 cites W2015688007 @default.
- W3100402266 cites W2016457827 @default.
- W3100402266 cites W2016818970 @default.
- W3100402266 cites W2023665096 @default.
- W3100402266 cites W2023808162 @default.
- W3100402266 cites W2026965951 @default.
- W3100402266 cites W2030224590 @default.
- W3100402266 cites W2033498067 @default.
- W3100402266 cites W2033871392 @default.
- W3100402266 cites W2035153757 @default.
- W3100402266 cites W2040060046 @default.
- W3100402266 cites W2040259387 @default.
- W3100402266 cites W2041509965 @default.
- W3100402266 cites W2047339217 @default.
- W3100402266 cites W2050232116 @default.
- W3100402266 cites W205148524 @default.
- W3100402266 cites W2054409309 @default.
- W3100402266 cites W2057361103 @default.
- W3100402266 cites W2057956383 @default.
- W3100402266 cites W2058282107 @default.
- W3100402266 cites W2060417529 @default.
- W3100402266 cites W2061438988 @default.
- W3100402266 cites W2062285040 @default.
- W3100402266 cites W2064322639 @default.
- W3100402266 cites W2064483023 @default.
- W3100402266 cites W2065675749 @default.
- W3100402266 cites W2067885187 @default.
- W3100402266 cites W2072210640 @default.
- W3100402266 cites W2078034554 @default.
- W3100402266 cites W2078304806 @default.
- W3100402266 cites W2080111195 @default.
- W3100402266 cites W2081840025 @default.
- W3100402266 cites W2091456056 @default.
- W3100402266 cites W2096455207 @default.
- W3100402266 cites W2097514095 @default.
- W3100402266 cites W2099236627 @default.
- W3100402266 cites W2099501333 @default.
- W3100402266 cites W2101042113 @default.
- W3100402266 cites W2101512909 @default.
- W3100402266 cites W2104588447 @default.
- W3100402266 cites W2105099212 @default.
- W3100402266 cites W2106355650 @default.
- W3100402266 cites W2107147876 @default.