Overview for non-classical slicing technique and its application in formal verification
Ning Lin Zhou · Computer Engineering and Applications Journal · 2007
Slicing technique merges as a method of simplifying a program by extracting a subset which is relevant to a specified behavior.A wide variety of applications of program slicing have been proposed in the software engineering filed during the past two decade years.Especially,slicing technique is gaining increasing importance in engineering and academic research filed with the emergence of non-classical slicing techniques:computation slicing and proof slicing which are inspired by classical program slicing.In this paper,we briefly introduce the development history and the basic idea of slicing technology.And we emphatically introduce computation slicing and proof slicing and their application in formal verification.