Improving the Formal Verification of Reachability Policies in Virtualized Networks.
Daniele BringhentiGuido MarchettoRiccardo SistoSerena SpinosoFulvio ValenzaJalolliddin YusupovPublished in: IEEE Trans. Netw. Serv. Manag. (2021)
Keyphrases
- formal verification
- model checking
- symbolic model checking
- model checker
- automated verification
- social networks
- bounded model checking
- optimal policy
- network structure
- cloud computing
- functional verification
- program slicing
- transitive closure
- data center
- formal specification
- virtual machine
- temporal logic
- complex networks
- orders of magnitude
- state space
- artificial intelligence