في إثبات صحتها، وتسمية تشير إلى أن التأكيدات الإخراج الخاص بالبرنامج اتبع منطقياً من تأكيداتها بالإدخال وخطوات معالجة.