This question is belong to the topic "Techniques for Software Safety Analysis" and "Software Verification"

Draw a Software Fault Tree to Show how to unsafe Condition X>30 Can arise from the execution of below Code.

while ( j > 6 ) { J=J-2

X=X+2

}

j and x are integer variables