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

• Main Authors: 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...