Application of Program Slicing Technology to Concurrent Programming Model Checking
Shen Yun-fu · Computer Technology and Development · 2008
Despite the success of model checking for hardware and protocol design,there are many difficulties in software model checking.The main problem is automatic extraction of models from codes and how to reduce the state space of the model extracted from codes.An application of program slicing to handle the issues mentioned above is presented,which include how to map the specification used in model checking to the slicing rule and how to transfer the slices of the program to the model for checking.The resulte is that it is an efficient way to improve software model checking.