Browsing by Subject "Automatic verification"

Now showing items 1-1 of 1

  • Towards verifying correctness of wireless sensor network applications using Insense and Spin 

    Sharma, Oliver; Lewis, Jonathan Peter; Miller, Alice; Dearle, Alan; Balasubramaniam, Dharini; Morrison, Ronald; Sventek, Joe (Springer, 2009) - Conference item
    The 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 ...