Formal verification of secure reconfigurable scan network infrastructure.
Michael A. KochteRafal BaranowskiMatthias SauerBernd BeckerHans-Joachim WunderlichPublished in: ETS (2016)
Keyphrases
- formal verification
- network infrastructure
- model checking
- wireless networks
- communication infrastructure
- ad hoc networks
- model checker
- bounded model checking
- internet access
- mobile ad hoc networks
- symbolic model checking
- communication networks
- automated verification
- routing protocol
- network architecture
- low cost
- broadband network
- tcp ip
- formal methods
- routing algorithm
- web based learning
- neural network model
- distributed databases