A systematic literature review on formal verification of software-defined networks.
Alireza SouriMonire NorouziParvaneh AsghariAmir Masoud RahmaniGhazaleh EmadiPublished in: Trans. Emerg. Telecommun. Technol. (2020)
Keyphrases
- literature review
- formal verification
- model checking
- program slicing
- bounded model checking
- current issues
- fuzzy theory
- information systems development
- automated verification
- case study
- social networks
- symbolic model checking
- public libraries
- software systems
- requirements engineering
- software development
- temporal logic
- complex networks
- software architecture
- computer systems
- electronic commerce