A Probabilistic QoS Model-Checking for Dynamic Routing Protocol.
Hongli YangLiang ZhouKang HeChen DengXiangpeng ZhaoZongyan QiuPublished in: QSIC (2010)
Keyphrases
- model checking
- routing protocol
- ad hoc networks
- temporal logic
- cross layer
- routing overhead
- network topology
- routing scheme
- end to end delay
- wireless sensor networks
- routing algorithm
- mobile ad hoc networks
- quality of service
- temporal properties
- qos requirements
- formal verification
- energy consumption
- automated verification
- formal specification
- computation tree logic
- model checker
- wireless ad hoc networks
- data transmission
- symbolic model checking
- multi hop
- epistemic logic
- qos routing
- formal methods
- sensor networks
- bounded model checking
- verification method
- web services
- service oriented
- end to end
- multipath routing
- artificial intelligence
- multi agent systems
- transition systems
- wireless networks
- modal logic
- resource management
- base station
- ip networks