Ps22Pdf 关键词 : 形式化方法 ; 非递归 ; PAR; 循环不变式 ; 可靠性 [gap=1010]Key words: formal method; non-recursive; PAR; loop invariant; reliability
基于312个网页-相关网页
如何寻找循环不变式和证明的正确性？
此代码的循环不变式是什么？
还有循环不变式等等，但前置、后置条件和类不变式是基本要素。
There are also loop invariants and a few others, but pre - and post-conditions and class invariants are really the basic fabric of contracts.
算法导论第二章中的原文是：We state these properties of A[1 ‥ j -1] formally as a loop invariant。其中举的例子是插入排序，每次循环从数组A中取出第j个元素插入有序区A[1 .. j-1]，然后递增j。这样A[1 .. j-1]的有序性始终得到保持，这就是所谓的“循环不变”了。 这个概念主要用来检验算法的正确性。原文如下： We use loop invariants to help us understand why an algorithm is correct. We must show three things about a loop invariant:
应用推荐