全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
软件学报  2009 

基于分离逻辑的程序验证技术

, PP. 2051-2061

Keywords: 可信软件,程序验证,霍尔逻辑,分离逻辑,定理证明

Full-Text   Cite this paper   Add to My Lib

Abstract:

介绍了分离逻辑的验证原理和特点及其在程序验证方面的应用实例,分析了为支持程序验证的若干分离逻辑研究进展,包括分离逻辑的自身属性、与其他逻辑的关系、对程序语言和设计模式的支持以及定理证明器等内容.指出了分离逻辑进一步深入应用所面临的问题和解决方向.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133