Please use this identifier to cite or link to this item:
|Title:||Demo: Towards bug-free implementation for wireless sensor networks|
|Citation:||Zheng, M.,Sun, J.,Sanán, D.,Liu, Y.,Dong, J.S.,Gu, Y. (2011). Demo: Towards bug-free implementation for wireless sensor networks. SenSys 2011 - Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems : 407-408. ScholarBank@NUS Repository. https://doi.org/10.1145/2070942.2071013|
|Abstract:||In this demonstration, a systematically domain-specific model checker, NesC@PAT, is presented. The tool takes NesC programs as input, and automatically verifies WSNs against properties specified in the form of deadlock freeness, state reachability or linear temporal logic formulas. We will show that NesC@PAT is able to find errors caused by rarely unexpected scenarios, which are difficult to be detected by general simulating or debugging. © 2011 Authors.|
|Source Title:||SenSys 2011 - Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Dec 10, 2018
checked on Oct 20, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.