最弱前置谓词相关论文
从上世纪六十年代起,随着大型软件的快速发展,人们对软件质量的要求起来越高,尤其是对软件的正确性要求。计算机界为确保软件质量......
本文阐明了形式化验证中中间断言和最弱前置谓词两种思想和方法,在此基础上,解决了两个问题:开始前置断言Q蕴涵非常弱的前置断言Q......
本文阐明了形式化验证中“中间断言”和“最终前置谓词”两种思想和方法，在此基础上，解决了两个问题：开始前置断言Q蕴函非常弱的前置......
为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法。针对于Hoa......
对确定性do循环,利用其WP求出循环不变式.给出了for循环的话义定义....
