Model Checking in Distributed Systems (in Chinese)
Communications of the China Computer Federation | February 2013, Vol 9(2): pp. 46-51
Publications
-
-
-
-
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, Vol 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, Vol 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, Vol 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
-
People
Haoxiang Lin
Principal Researcher