Forms of
Correctness
The
forms PC and termination are separated because it often is easier
to prove them separately.(Principle
of ÒSeparation of concernsÓ)The
forms PC and termination are separated because it often is easier
to prove them separately.(Principle
of ÒSeparation of concernsÓ)