验证条件相关论文
随着计算机应用的日益推广,我们对软件的可靠性和安全性的需求越来越高。这些需求体现在安全攸关的基础设施和系统上,包括核电、航......
程序验证用逻辑证明的方法证明程序满足其规范，是实现安全性的重要方法。出具证明编译器(Certifying Compiler)是编译器与验证器的......
