Keyphrases
- model checking
- energy consumption
- temporal logic
- wireless sensor networks
- energy efficiency
- energy saving
- energy efficient
- temporal properties
- formal specification
- automated verification
- energy conservation
- symbolic model checking
- model checker
- sensor networks
- formal verification
- verification method
- data transmission
- routing protocol
- base station
- sensor nodes
- bounded model checking
- epistemic logic
- computation tree logic
- timed automata
- routing algorithm
- total energy
- data center
- concurrent systems
- reachability analysis
- save energy
- multi hop
- transition systems
- formal methods
- power consumption
- electricity consumption
- artificial intelligence
- residual energy
- description language
- environmental impact
- greenhouse gas emissions