التوليف التلقائي للبرامج القائم على القيود

التحقق الشرطي

عملية رسمية تتحقق من أن البرنامج المخلق يفي بجميع المواصفات الأولية. ضروري لضمان صحة البرامج التي تم إنشاؤها تلقائيًا.

← رجوع