PROJECT TITLE :
Applying Formal Methods to Networking: Theory, Techniques, and Applications
Despite its nice importance, fashionable network infrastructure is outstanding for the dearth of rigor in its engineering. The Internet, which began as a analysis experiment, was never designed to handle the users and applications it hosts these days. The shortage of formalization of the Internet design meant restricted abstractions and modularity, notably for the control and management planes, therefore requiring for every new need a new protocol designed from scratch. This led to an unwieldy ossified Net design immune to any makes an attempt at formal verification and to an Internet culture where expediency and pragmatism are favored over formal correctness. Fortunately, recent work in the house of unpolluted slate Web style—in specific, the software outlined networking (SDN) paradigm—offers the Net community another chance to develop the proper quite design and abstractions. This has also led to a nice resurgence in interest of applying formal ways to specification, verification, and synthesis of networking protocols and applications. During this paper, we tend to gift a self-contained tutorial of the formidable amount of work that has been tired formal ways and gift a survey of its applications to networking.
Did you like this research project?
To get this research project Guidelines, Training and Code... Click Here