1

この有効なトリプルの有効性を証明するには:

{X==U, Y==0, U > 0, N > 0}
    while (X > 0) { X = X - N; Y = Y + 1;};
{Y == ⌈U/N⌉}

ループ不変条件とは何ですか?

4

0 に答える 0