عرض مصطلح معلوماتية

1 نظامُ تحققٍ مُؤَتْمَت ؛ 2 نظامُ تحققٍ مُؤَتْمَت | automated verification system
1- أداةٌ برمجيةٌ تَقبلُ برنامجاً حاسوبياً وتمثيلاً لمواصفاتِهِ دَخْلاً لها، وتولِّد، مع أو بدون مساعدة الإنسان، إثباتاً على صحة البرنامج أو عدم صحته. 2- أيُّ أداةٍ برمجيةٍ تُؤَتْمِتُ إجرائيةَ التحقُّقِ كلّها أو جزءاً منها.