无线传感器网络(wireless sensor networks,WSNs)由于其价格低廉、部署容易、可扩展性强等优点,在环境监测、军事、航空等领域的应......

针对工业界实现的无线抄表路由协议WM2RP（Wireless Meter Reading Routing Protocol）,提出将CBMC有界模型检测工具运用到该协议实现......