Formal verification of the cooperative behaviour of network nodes for routing and context dissemination.
Stylianos GeorgoulasKlaus MoessnerDemos EracleousMichele NatiPublished in: Future Network & Mobile Summit (2012)
Keyphrases
- formal verification
- network nodes
- cooperative
- ad hoc networks
- network topologies
- model checking
- computer networks
- mobile ad hoc networks
- information systems
- model checker
- routing protocol
- context aware
- symbolic model checking
- wireless networks
- software components
- routing algorithm
- digital libraries
- multi agent systems
- network services
- bounded model checking
- end to end
- routing problem
- mobile networks
- open source
- real time