A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
2020 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN)
There are several contemporary examples of network failures, particularly in the domain of SDNs, that led to substantial loss for businesses. Formal methods are promised to address performance, reliability, and security issues of SDNs using the rigour provided by their underlying mathematics. The focus of this workshop is on formal methods aimed to enable the formal specification and verification of SDNs and NFVs. We aim at bringing together leading researchers and practitioners from the fieldsdoi:10.1109/nfv-sdn50289.2020.9289905 fatcat:hcwx4bfyejdsvc6oonnmce43gu