Articles by Xiao Jianyu (4)

Combination of Model Checking and Theorem Proving to Develop and Verify Embedded Software

Zhong Xu and Xiao Jianyu

Information Technology Journal 7 ( 4 ): 623 - 630 , 2008

A New Data Structure and Algorithm for Static Slicing Concurrent Programs

Huang Weiping and Xiao Jianyu

Information Technology Journal 7 ( 2 ): 253 - 260 , 2008

Specifications Mining Based on Adjusted Automata Learning Algorithm

Xiao Jianyu and DAI Jingguo

Information Technology Journal 11 ( 10 ): 1391 - 1399 , 2012

Conditioning for State Space Reduction in Program Model Checking

Long Yuejin and Xiao Jianyu

Information Technology Journal 8 ( 7 ): 990 - 997 , 2009

Do you have a suggestion for journals

Suggest Journal