Model Checking in Distributed Systems (in Chinese)
Communications of the China Computer Federation | February 2013, 제 9 권(2): pp. 46-51
출판물
연도별 간행물
-
-
Practical software model checking via dynamic interface reduction
Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang
October 2011
-
MODIST: Transparent Model Checking of Unmodified Distributed Systems
Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou
NSDI 2009 | April 2009
The 6th Symposium on Networked Systems Design and Implementation
연구분야별 간행물
-
Model Checking in Distributed Systems (in Chinese)
Communications of the China Computer Federation | February 2013, 제 9 권(2): pp. 46-51
Practical software model checking via dynamic interface reduction
Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang
October 2011
MODIST: Transparent Model Checking of Unmodified Distributed Systems
Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou
NSDI 2009 | April 2009
The 6th Symposium on Networked Systems Design and Implementation
-
Model Checking in Distributed Systems (in Chinese)
Communications of the China Computer Federation | February 2013, 제 9 권(2): pp. 46-51
MODIST: Transparent Model Checking of Unmodified Distributed Systems
Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou
NSDI 2009 | April 2009
The 6th Symposium on Networked Systems Design and Implementation
유형별 출판물
-
Model Checking in Distributed Systems (in Chinese)
Communications of the China Computer Federation | February 2013, 제 9 권(2): pp. 46-51
-
Practical software model checking via dynamic interface reduction
Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang
October 2011
MODIST: Transparent Model Checking of Unmodified Distributed Systems
Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou
NSDI 2009 | April 2009
The 6th Symposium on Networked Systems Design and Implementation
인원
Haoxiang Lin
Principal Researcher