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

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
}