Date Added: Dec 2009
Reliable and correct behavior of sensor network based on infrastructure can be critical for human life, environment, decision-making and consequence of misbehavior can be catastrophic. Therefore development of reliable, stable and secure solutions that work provably correct even in unreliable and un-trusted environment is extremely important. The analysis of the design should include verification, which provides the means to ensure the correctness of the design of such protocols. The protocol description under analysis should conform to its expected properties of reactivity and robustness. Verification process enables the designer to be confident that the formal description of the system does satisfy the system requirements of reactivity and robustness.