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