ITU-T Y.3320
Requirements for applying formal methods to software-defined networking
active, Most Current
Buy Now
| Organization: | ITU-T |
| Publication Date: | 1 August 2014 |
| Status: | active |
| Page Count: | 20 |
scope:
This Recommendation describes requirements for using formal methods. Formal methods are mathematics-based techniques used to specify, develop and verify software and hardware systems in the context of software-defined networking (SDN) for future networks (FN).
The scope of this Recommendation covers:
- an overview of formal methods (formal specification and formal verification) for SDN, and
- requirements for applying formal methods to SDN.
An example of how to apply formal methods to SDN is provided in Appendix I.
Document History
ITU-T Y.3320
August 1, 2014
Requirements for applying formal methods to software-defined networking
This Recommendation describes requirements for using formal methods. Formal methods are mathematics-based techniques used to specify, develop and verify software and hardware systems in the context...