State space reduction for sensor networks using two-level partial order reduction

• المؤلفون الرئيسيون: ZHENG, Manchun, SANÁN, David, SUN, Jun, LIU, Yang, DONG, Jin Song, GU, Yu
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2013
• الموضوعات: Sensor Network; Wireless Sensor Network; Model Chec; Linear Temporal Logic; Task Sequence; Software Engineering
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/5011; https://ink.library.smu.edu.sg/context/sis_research/article/6014/viewcontent/state_space.pdf
• المؤسسة: Singapore Management University

Wireless sensor networks may be used to conduct critical tasks like fire detection or surveillance monitoring. It is thus important to guarantee the correctness of such systems by systematically analyzing their behaviors. Formal verification of wireless sensor networks is an extremely challenging ta...