自定义谓词相关论文
随着计算机学科的迅猛发展，计算机软件正逐渐演化成为人们学习生活中的一个庞大的体系。另一方面，软件的安全形势非常严峻，尤其随着移......
随着经济社会的发展，各行各业对软件的需求和依赖程度在逐渐增强，与此同时，软件安全问题日益突出，特别是在一些安全攸关的领域中，软件的......
在先前设计的一个出具证明编译器原型基础上,增加了可用来描述数据结构性质的自定义谓词,对断言语言表达能力方面做了提升.在出具......
基于逻辑推理的方法进行程序验证是形式化程序验证的研究热点.目前的自动验证工具为了保证自动性,对描述程序性质的断言语言都有较......
