Runtime Verification for Wireless Sensor Network Applications.
Oleg SokolskyUsa SammapunJohn RegehrInsup LeePublished in: Runtime Verification (2007)
Keyphrases
- wireless sensor networks
- sensor networks
- energy consumption
- formal verification
- sensor nodes
- model checking
- real time
- energy efficient
- data transmission
- data collection
- low cost
- face recognition
- data sets
- formal methods
- signature verification
- environmental monitoring
- residual energy
- resource limitations
- database
- asynchronous circuits
- person identification
- wireless sensor nodes
- key management
- formal analysis
- routing algorithm
- supply chain
- information retrieval