Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption.
Haidi YueJoost-Pieter KatoenPublished in: ASMTA (2010)
Keyphrases
- model checking
- energy consumption
- temporal logic
- wireless sensor networks
- cluster head
- energy efficiency
- energy efficient
- energy saving
- sensor networks
- temporal properties
- model checker
- base station
- formal verification
- energy conservation
- data transmission
- formal specification
- symbolic model checking
- timed automata
- data gathering
- wireless communication
- data center
- transition systems
- verification method
- computation tree logic
- routing protocol
- formal methods
- bounded model checking
- sensor nodes
- automated verification
- epistemic logic
- computer networks
- residual energy
- wireless medium
- total energy
- network coding
- routing algorithm
- multi hop
- social networks
- network structure
- distributed systems
- end to end