Std

ITU-T Y.3320 [ Active ]

Requirements for applying formal methods to software-defined networking

standard by International Telecommunication Union-T , 08/01/2014

View all product details

Most Recent

Track It

Language:
    • Available Formats
    •  
    • Availability
    • Priced From ( in USD )
    • Printed Edition
    • Ships in 1-2 business days
    • $28.00
    • Add to Cart

Customers Who Bought This Also Bought

 

About This Item

 

Full Description

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.

 

Product Details

Edition:
14
Published:
08/01/2014
Number of Pages:
20
File Size:
1 file