Introducing Automated Verification and Validation for Virtualized Network Functions and Services.
Manuel PeusterStefan SchneiderMengxuan ZhaoGeorge XilourisPanagiotis TrakadasFelipe VicensWouter TavernierThomas SoenenRicard VilaltaGeorge AndreouDimosthenis KyriazisHolger KarlPublished in: IEEE Commun. Mag. (2019)
Keyphrases
- automated verification
- university campus
- model checking
- mobile networks
- network services
- heterogeneous networks
- access points
- peer to peer
- service providers
- enterprise network
- network access
- wireless sensor networks
- network traffic
- computing resources
- exchange information
- service requests
- ubiquitous computing
- machine learning
- automated reasoning
- network resources
- network structure
- resource utilization
- service discovery
- internet service providers
- knowledge representation
- complex networks