Towards a Model Checker for NesC and Wireless Sensor Networks.

Manchun Zheng Jun Sun Yang Liu Jin Song Dong Yu Gu

Published in: ICFEM (2011)

Keyphrases

model checker
wireless sensor networks
model checking
formal verification
formal methods
description language
temporal logic
formal specification
test suite
symbolic model checking
ai planning
specification language
set theory
software architecture
planning domains
search algorithm