断言语言相关论文
随着经济社会的发展,各行各业对软件的需求和依赖程度在逐渐增强,与此同时,软件安全问题日益突出,特别是在一些安全攸关的领域中,软件的......
基于Hoare逻辑推理规则去验证程序安全性的研究是程序验证领域的重要发展方向.但是在Hoare逻辑中,仅依靠程序变量的断言语言无法表......
本文提出了一个新的断言语言ALC,它主要用于对C 语言书写的系统程序的测试。ALC 吸收了现有断言语言的优点,首次引入了控制流检测......