%0 Journal Article
%T 基于分离逻辑的程序验证技术
%A 黄达明？
%A 曾庆凯？
%J 软件学报
%P 2051-2061
%D 2009
%X 介绍了分离逻辑的验证原理和特点及其在程序验证方面的应用实例,分析了为支持程序验证的若干分离逻辑研究进展,包括分离逻辑的自身属性、与其他逻辑的关系、对程序语言和设计模式的支持以及定理证明器等内容.指出了分离逻辑进一步深入应用所面临的问题和解决方向.
%K 可信软件
%K 程序验证
%K 霍尔逻辑
%K 分离逻辑
%K 定理证明
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=3636&flag=1