Real-Time Logic Verification of a Wireless Sensor Network.

J. Green Shuvra S. Bhattacharyya Biswajit Panja

Published 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