A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow
[chapter]
2013
Lecture Notes in Computer Science
A Wireless Sensor Network (WSN), made of distributed autonomous nodes, is designed to monitor physical or environmental conditions. WSNs have many application domains such as environment or health monitoring. Their design must consider energy constraints, concurrency issues, node heterogeneity, while still meeting the quality requirements of life-critical applications. Formal verification helps to obtain WSN reliability, but usually requires a high expertise, which limits its adoption in
doi:10.1007/978-3-642-40465-8_2
fatcat:uqlrfmb66vgtreppf4jpnpzesa