%0 Journal Article
%T Counterexample generation in ASP-based CSP model verification<br>基于ASP的CSP模型验证性质反例生成技术研究
%A WANG Xue-song
%A ZHAO Ling-zhong
%A ZHANG Chao
%A <br>王雪松
%A 赵岭忠
%A 张　超
%J 计算机应用研究
%D 2013
%I 
%X This paper proposed an ASP based framework for verifying concurrent model described by CSP to solve the problem of verifying multiple properties in one run of a model checker. It mainly discussed the problem of generating counterexamples while the verified property was not satisfied in this framework. The technique of justification of ASP program, which was usually used in the debugging of ASP programs, applied to this study and proposed an algorithm for generating property counterexamples. The effectiveness of the algorithm is shown by examples.
%K 通信顺序进程
%K 回答集编程
%K 支撑原因
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=51EFA6F8AD1002430F3E1C4FF362D2D6&yid=FF7AA908D58E97FA&vid=340AC2BF8E7AB4FD&iid=CA4FD0336C81A37A&sid=286FB2D22CF8D013&eid=E514EE58E0E50ECF&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=9