Applying Formal Methods to Networking: Theory, Techniques, and Applications. Qadir, J. & Hasan, O. IEEE Communications Surveys and Tutorials, 17(1):256-291, 2015. abstract bibtex © 1998-2012 IEEE. 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.
@article{
title = {Applying Formal Methods to Networking: Theory, Techniques, and Applications},
type = {article},
year = {2015},
identifiers = {[object Object]},
keywords = {Computer networks,formal specifications,formal verification},
pages = {256-291},
volume = {17},
id = {67d4731e-2262-31cc-80de-252184ae0754},
created = {2016-06-08T23:09:23.000Z},
file_attached = {false},
profile_id = {d497bc17-a0d0-32e0-a915-fc6148eb1197},
last_modified = {2017-03-17T12:31:30.615Z},
read = {false},
starred = {false},
authored = {true},
confirmed = {false},
hidden = {false},
abstract = {© 1998-2012 IEEE. 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.},
bibtype = {article},
author = {Qadir, J. and Hasan, O.},
journal = {IEEE Communications Surveys and Tutorials},
number = {1}
}
Downloads: 0
{"_id":"YDsw93AAaixuS8P4n","bibbaseid":"qadir-hasan-applyingformalmethodstonetworkingtheorytechniquesandapplications-2015","downloads":0,"creationDate":"2017-08-10T11:05:20.907Z","title":"Applying Formal Methods to Networking: Theory, Techniques, and Applications","author_short":["Qadir, J.","Hasan, O."],"year":2015,"bibtype":"article","biburl":null,"bibdata":{"title":"Applying Formal Methods to Networking: Theory, Techniques, and Applications","type":"article","year":"2015","identifiers":"[object Object]","keywords":"Computer networks,formal specifications,formal verification","pages":"256-291","volume":"17","id":"67d4731e-2262-31cc-80de-252184ae0754","created":"2016-06-08T23:09:23.000Z","file_attached":false,"profile_id":"d497bc17-a0d0-32e0-a915-fc6148eb1197","last_modified":"2017-03-17T12:31:30.615Z","read":false,"starred":false,"authored":"true","confirmed":false,"hidden":false,"abstract":"© 1998-2012 IEEE. 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.","bibtype":"article","author":"Qadir, J. and Hasan, O.","journal":"IEEE Communications Surveys and Tutorials","number":"1","bibtex":"@article{\n title = {Applying Formal Methods to Networking: Theory, Techniques, and Applications},\n type = {article},\n year = {2015},\n identifiers = {[object Object]},\n keywords = {Computer networks,formal specifications,formal verification},\n pages = {256-291},\n volume = {17},\n id = {67d4731e-2262-31cc-80de-252184ae0754},\n created = {2016-06-08T23:09:23.000Z},\n file_attached = {false},\n profile_id = {d497bc17-a0d0-32e0-a915-fc6148eb1197},\n last_modified = {2017-03-17T12:31:30.615Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {false},\n hidden = {false},\n abstract = {© 1998-2012 IEEE. 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.},\n bibtype = {article},\n author = {Qadir, J. and Hasan, O.},\n journal = {IEEE Communications Surveys and Tutorials},\n number = {1}\n}","author_short":["Qadir, J.","Hasan, O."],"bibbaseid":"qadir-hasan-applyingformalmethodstonetworkingtheorytechniquesandapplications-2015","role":"author","urls":{},"keyword":["Computer networks","formal specifications","formal verification"],"downloads":0},"search_terms":["applying","formal","methods","networking","theory","techniques","applications","qadir","hasan"],"keywords":["computer networks","formal specifications","formal verification"],"authorIDs":[]}