تأیید منطق‌محور برنامه