Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks.
Alice Dal CorsoDamiano MacedonioMassimo MerroPublished in: NFM (2015)
Keyphrases
- model checking
- routing protocol
- mobile nodes
- ad hoc networks
- temporal logic
- packet delivery
- wireless ad hoc networks
- neighboring nodes
- network topology
- wireless sensor networks
- routing algorithm
- mobile ad hoc networks
- automated verification
- formal specification
- temporal properties
- formal verification
- energy consumption
- model checker
- symbolic model checking
- computation tree logic
- energy efficiency
- network structure
- wireless networks
- ns simulator
- end to end delay
- data transmission
- multi hop
- sensor networks
- bounded model checking
- source node
- timed automata
- epistemic logic
- social networks
- verification method
- computer networks
- routing scheme
- secure routing
- alternating time temporal logic
- intermediate nodes
- formal methods
- network coding
- network resources
- markov chain
- end to end
- transition systems
- state space
- mobile networks