Formal Verification of Real-Time Wireless Sensor Networks Protocols: Scaling Up.
Alexandre MouradianIsabelle Augé-BlumPublished in: ECRTS (2014)
Keyphrases
- formal verification
- real time
- wireless sensor networks
- model checking
- model checker
- automated verification
- symbolic model checking
- energy efficient
- program slicing
- bounded model checking
- low cost
- cryptographic protocols
- wireless sensor nodes
- multi hop
- data gathering
- sensor nodes
- sensor networks
- control system
- resource constrained
- wireless sensor
- energy efficiency
- data acquisition
- energy consumption
- quality of service