Partially Correct Program

program-proofing

Definition

Partially Correct Program

A program is partially correct if every terminating trace are correct, whereby not all traces need to be terminating.