Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks.
Matt WebsterMichael BrezaClare DixonMichael FisherJulie A. McCannPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2018)
Keyphrases
- formal verification
- wireless sensor networks
- model checking
- model checker
- automated verification
- energy efficient
- bounded model checking
- sensor networks
- data aggregation
- energy consumption
- symbolic model checking
- functional verification
- sensor nodes
- routing algorithm
- overlay network
- program slicing
- environmental monitoring
- data gathering
- energy efficiency
- temporal logic
- software architecture
- routing protocol
- biological inspired