Logic “如何应用分离逻辑”；查阅“；规则_Logic_Static Analysis_Formal Verification

Logic “如何应用分离逻辑”；查阅“；规则

logic

Logic “如何应用分离逻辑”；查阅“；规则,logic,static-analysis,formal-verification,Logic,Static Analysis,Formal Verification,如何应用分离逻辑规则为以下程序找到post条件？ k=con(0); if(k is even) then i=con(1); else i=con(2); j=[i];

如何应用分离逻辑规则为以下程序找到post条件？

k=con(0);  
if(k is even)        
    then i=con(1);        
    else i=con(2);  
j=[i];