断言语言相关硕士博士期刊学术论文 - 搜论网

断言语言相关论文

断言语言支持自定义谓词的程序验证器原型

随着经济社会的发展，各行各业对软件的需求和依赖程度在逐渐增强，与此同时，软件安全问题日益突出，特别是在一些安全攸关的领域中，软件的......

学位

程序验证器自定义谓词自动定理证明断言语言形状图逻辑

关于断言语言中引入逻辑变量的研究

基于Hoare逻辑推理规则去验证程序安全性的研究是程序验证领域的重要发展方向.但是在Hoare逻辑中,仅依靠程序变量的断言语言无法表......

期刊

Hoare逻辑形式化验证逻辑变量断言语言

看过本文同时还关注