全部 标题 作者 关键词 摘要
, PP. 2051-2061
Keywords: 可信软件,程序验证,霍尔逻辑,分离逻辑,定理证明
Full-Text Cite this paper Add to My Lib
介绍了分离逻辑的验证原理和特点及其在程序验证方面的应用实例,分析了为支持程序验证的若干分离逻辑研究进展,包括分离逻辑的自身属性、与其他逻辑的关系、对程序语言和设计模式的支持以及定理证明器等内容.指出了分离逻辑进一步深入应用所面临的问题和解决方向.
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133