dc.contributor.author | Zheng, M | |
dc.contributor.author | Sun, J | |
dc.contributor.author | Sanán, D | |
dc.contributor.author | Liu, Y | |
dc.contributor.author | Dong, JS | |
dc.contributor.author | Gu, Y | |
dc.date.accessioned | 2019-09-02T06:34:54Z | |
dc.date.available | 2019-09-02T06:34:54Z | |
dc.date.issued | 2011 | |
dc.identifier.isbn | 9781450307185 | |
dc.identifier.doi | 10.1145/2070942.2071013 | |
dc.identifier.uri | http://hdl.handle.net/10072/386866 | |
dc.description.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. | |
dc.publisher | ACM Press | |
dc.relation.ispartofconferencename | 9th ACM Conference on Embedded Networked Sensor Systems (SenSys '11) | |
dc.relation.ispartofconferencetitle | Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems | |
dc.relation.ispartofdatefrom | 2011-11-01 | |
dc.relation.ispartofdateto | 2011-11-04 | |
dc.relation.ispartoflocation | Seattle, Washington | |
dc.relation.ispartofpagefrom | 407 | |
dc.relation.ispartofpageto | 408 | |
dc.title | Demo: Towards bug-free implementation for wireless sensor networks | |
dc.type | Conference output | |
dcterms.bibliographicCitation | Zheng, M; Sun, J; Sanán, D; Liu, Y; Dong, JS; Gu, Y, Demo: Towards bug-free implementation for wireless sensor networks, Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems, 2011, pp. 407-408 | |
dc.date.updated | 2019-09-02T06:29:59Z | |
dc.description.version | Accepted Manuscript (AM) | |
gro.rights.copyright | © ACM, 2011. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems, ISBN: 978-1-4503-0718-5, https://doi.org/10.1145/2070942.2071013 | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Dong, Jin-Song | |