Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications

@inproceedings{Bucur2009BugFreeST,
  title={Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications},
  author={Doina Bucur and Marta Z. Kwiatkowska},
  booktitle={AmI},
  year={2009}
}
We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting programming errors related to incorrect adaptation to context. 

From This Paper

Figures, tables, and topics from this paper.

Similar Papers

Loading similar papers…