Formal Modelling and Verification of Software Defined Network.
Jnanamurthy H. KVijay VaradharajanPublished in: CoRR (2020)
Keyphrases
- formal methods
- software development
- model checking
- formal analysis
- wireless sensor networks
- formal specification
- software systems
- network structure
- complex networks
- computer networks
- network model
- network services
- software tools
- artificial intelligence
- data flow
- operating system
- face verification
- user interface
- formal verification
- internet services
- real time