%0 Journal Article
%T Approach of concurrent object-oriented program slicing based on LTL property<br>一种基于LTL性质的面向对象并发程序切片方法
%A RONG Mei
%A HE Zhi-xue
%A ZHANG Guang-quan
%A <br>戎玫
%A 何志学
%A 张广泉
%J 计算机应用
%D 2008
%I 
%X An approach for slicing concurrent object-oriented programs is presented to reduce the state space in the process of program verification. The dependencies between statements in the given program are defined, and the method of extracting the slicing criterion from linear temporal logic property is introduced. The satisfaction of the verified LTL property is guaranteed for both programs before and after slicing, and the number of states in the state transition graph is decreased.
%K program slicing
%K Linear Temporal Logic (LTL) property
%K concurrent program
%K program verification<br>程序切片
%K 线性时序逻辑性质
%K 并发程序
%K 程序验证
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=1C68E93FEC48F5243DAF9D46C118F702&yid=67289AFF6305E306&vid=D3E34374A0D77D7F&iid=94C357A881DFC066&sid=A903BA7BF48F47AE&eid=C612D3F3E4FFE289&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=10