Show simple item record

dc.contributor.authorZheng, M
dc.contributor.authorSun, J
dc.contributor.authorSanán, D
dc.contributor.authorLiu, Y
dc.contributor.authorDong, JS
dc.contributor.authorGu, Y
dc.date.accessioned2019-09-02T06:34:54Z
dc.date.available2019-09-02T06:34:54Z
dc.date.issued2011
dc.identifier.isbn9781450307185
dc.identifier.doi10.1145/2070942.2071013
dc.identifier.urihttp://hdl.handle.net/10072/386866
dc.description.abstractIn 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.publisherACM Press
dc.relation.ispartofconferencename9th ACM Conference on Embedded Networked Sensor Systems (SenSys '11)
dc.relation.ispartofconferencetitleProceedings of the 9th ACM Conference on Embedded Networked Sensor Systems
dc.relation.ispartofdatefrom2011-11-01
dc.relation.ispartofdateto2011-11-04
dc.relation.ispartoflocationSeattle, Washington
dc.relation.ispartofpagefrom407
dc.relation.ispartofpageto408
dc.titleDemo: Towards bug-free implementation for wireless sensor networks
dc.typeConference output
dcterms.bibliographicCitationZheng, 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.updated2019-09-02T06:29:59Z
dc.description.versionAccepted 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.hasfulltextFull Text
gro.griffith.authorDong, Jin-Song


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record