Real-Time Logic Verification of a Wireless Sensor Network.
J. GreenShuvra S. BhattacharyyaBiswajit PanjaPublished in: CSIE (3) (2009)
Keyphrases
- real time
- wireless sensor networks
- asynchronous circuits
- model checking
- low cost
- vision system
- logic programming
- control system
- energy consumption
- verification method
- high speed
- energy efficiency
- epistemic logic
- model checker
- defeasible logic
- modal logic
- wireless sensor
- bounded model checking
- signature verification
- computational properties
- real time systems
- automated reasoning
- data collection
- sensor networks
- genetic algorithm