correctness of wireless sensor network



Towards verifying correctness of wireless sensor network applications using Insense and SPIN

FREE-DOWNLOADO Sharma, J Lewis, A Miller, A Dearle… – Model Checking
Abstract. The design and implementation of wireless sensor network applications often require
domain experts, who may lack expertise in soft- ware engineering, to produce
resource-constrained, concurrent, real-time software without the support of high-level




IEEE PAPER UNITED STATES