Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context.
Serena SpinosoMatteo VirgilioWolfgang JohnAntonio ManzaliniGuido MarchettoRiccardo SistoPublished in: ESOCC (2015)
Keyphrases
- formal verification
- model checking
- dynamic networks
- network model
- artificial intelligence
- highly connected
- peer to peer
- virtual reality
- augmented reality
- symbolic model checking
- network structure
- small world
- scale free
- automated verification
- model checker
- fully connected
- graph theory
- bipartite graph
- wireless sensor networks
- graph matching
- heuristic search
- neural network