Browsing by Subject "Automatic verification"
Now showing items 1-1 of 1
-
Towards verifying correctness of wireless sensor network applications using Insense and Spin
(Springer, 2009) - Conference itemThe design and implementation of wireless sensor network applications often require domain experts, who may lack expertise in software engineering, to produce resource-constrained, concurrent, real-time software without ...