IEEE NFV-SDN 2020 Virtual Conferene FoFoSDN Workshop

47 views
Download
  • Share
#NFV #SDN #networks #software-defined networks #networks #communications #networking

Formal Foundations of Software Defined Networks (FoFoSDN) workshop at the 2020 IEEE NFV-SDN Virtual Conference is focused on formal methods aimed to enable a formal specification and verification of SDNs and NFVs.

There are several contemporary examples of network failures, particularly in the domain of SDNs, that led to substantial loss for businesses.

Formal approaches have been proposed to provide a foundational approach to addressing such issues through correct-by-design construction, specification, and verification of SDN programs.

Formal methods are promised to address performance, reliability, and security issues of SDNs using the rigour provided by their underlying mathematics.

Hence, formal specification and verification of Network Functions Virtualization (NFV) and Software Defined Networks (SDN) have been gaining momentum in recent years.

The focus of this workshop is on formal methods aimed to enable a formal specification and verification of SDNs and NFVs.

The topics of interest include, but are not restricted to: - foundations (including formal semantics of) programming languages, - formal specification languages - formal verification techniques - synthesis and correct-by-construction methods, and - testing, debugging, monitoring and other forms of non-exhaustive validation and verification

Formal Foundations of Software Defined Networks (FoFoSDN) workshop at the 2020 IEEE NFV-SDN Virtual Conference is focused on formal methods aimed to enable a formal specification and verification of SDNs and NFVs.

Advertisment

Advertisment