Long Yuejin
Department of Computer, Changsha University, Changsha Hunan, 410003, China
Xiao Jianyu
Department of Computer, Changsha University, Changsha Hunan, 410003, China
PDF Fulltext XML References Citation
How to cite this article
Long Yuejin and Xiao Jianyu, 2009. Conditioning for State Space Reduction in Program Model Checking. Information Technology Journal, 8: 990-997.
DOI: 10.3923/itj.2009.990.997
URL: https://scialert.net/abstract/?doi=itj.2009.990.997
DOI: 10.3923/itj.2009.990.997
URL: https://scialert.net/abstract/?doi=itj.2009.990.997