%0 Journal Article
%T 支持程序验证的模块方法
%A 刘定飞
%A 钟珞
%J 计算机科学
%D 1994
%I 
%X 本文给出一种支持程序验证的模块方法，并讨论了基于函数语义的模块验证，程序可划分为若干个模块，模块本身又可划分为若干个更小的子模块，其验证独立进行。将独立验证过的各子模块复合，完成上级模块或程序本身的验证。
%K 程序验证
%K 模块法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=45A6517C0368FF2BFB7F64968A0B80BF&yid=3EBE383EEA0A6494&vid=659D3B06EBF534A7&iid=CA4FD0336C81A37A&sid=80A07035DF96B0C4&eid=9C65ADEB5990B252&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0