寻找循环不变量的不同方法

Question

我试图找到此代码的循环不变量。通常我会通过输入来查看代码并尝试弄清楚。但这种方法并不总是有效。只是想知道是否有更好的方法来找到循环不变量？任何建议将不胜感激！

 char[] Reverse(char S[], int len){

    char tempChar;
    int count = 0;

    while(count < n/2){
        tempChar = S[count];
        S[count] = S[n-count-1]
        S[n-count-1] = tempChar;
        count = count + 1;  
    }

    return S
}