Formal verification for wireless sensor network in consideration of communication errors.
Akihiro IkedaNaoki AkiyamaToshiaki MiyazakiPublished in: ICOIN (2018)
Keyphrases
- formal verification
- wireless sensor networks
- model checking
- resource constrained
- resource limitations
- model checker
- bounded model checking
- sensor networks
- automated verification
- symbolic model checking
- energy efficient
- wireless sensor
- sensor nodes
- energy consumption
- program slicing
- information sharing
- routing algorithm
- communication networks
- data gathering
- computer networks
- software development
- functional verification