Formal Verification of a Parameterized Data Aggregation Protocol.

Sergio Feo Arenis Bernd Westphal

Published in: NASA Formal Methods (2013)

Keyphrases

formal verification
data aggregation
coloured petri nets
model checker
model checking
wireless sensor networks
data dissemination
scheme for wireless sensor networks
energy efficient
sensor networks
bounded model checking
automated verification
symbolic model checking
temporal logic
lightweight
formal methods