Logic 用户指定值上的霍尔逻辑循环变量
我有以下问题: 前提条件为真Logic 用户指定值上的霍尔逻辑循环变量,logic,verification,variant,hoare-logic,Logic,Verification,Variant,Hoare Logic,我有以下问题: 前提条件为真 int n = askUser(); int i = 0; while(i<n){ ... i++; } int n=askUser(); int i=0; while(iBe sly)和negaten如果是否定的。我不确定是否允许更改任何源代码。我需要验证现有代码是否正确。
int n = askUser();
int i = 0;
while(i<n){
...
i++;
}
int n=askUser();
int i=0;
while(iBe sly)和negaten
如果是否定的。我不确定是否允许更改任何源代码。我需要验证现有代码是否正确。