Systematic and automatic verification of sensor networks

بواسطة ZHENG MANCHUN
منشور في 2013

Towards a model checker for NesC and wireless sensor networks

بواسطة ZHENG, Manchun, SUN, Jun, LIU, Yang, DONG, Jin Song, GU, Yu
منشور في 2011

Formal modeling and validation of Stateflow diagrams

بواسطة CHEN, Chunqing, SUN, Jun, LIU, Yang, DONG, Jin Song, ZHENG, Manchun
منشور في 2012

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
منشور في 2013

USMMC: A self-contained model checker for UML state machines

بواسطة LIU, Shuang, LIU, Yang, SUN, Jun, ZHENG, Manchun, WADHWA, Bimlesh, DONG, Jin Song
منشور في 2013