%0 Journal Article
%T 基于网语言的ada程序局部性质的分析和验证
%A 丁志军？
%A 蒋昌俊？
%J 软件学报
%P 2305-2316
%D 2002
%X 旨在研究利用网语言讨论ada程序性质和由此而引起的ada网的状态爆炸问题.研究了ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了ada程序的安全性和活性,从而为复杂的ada程序的分析与验证提供了一个新的有效途经.
%K ada网
%K 同步合成
%K 同步分解
%K 网语言
%K 分析
%K 验证
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20021213&flag=1