Static Verification of Wireless Sensor Networks with Formal Methods

Wireless Sensor Networks (WSNs) are widely recognized as a solution to build monitoring systems, even in however, are subjected to faults due to several causes (i.e. rain, EMF radiations, vibrations, etc..) and tools and methodologies for the design of dependable WSN-based systems are needed. Formal methods partially meet such needs by assessing the degree of correctness of design models and identifying potential system bottlenecks.