bn:02057451n
Noun Concept
Categories: معلوماتية نظرية, طرق شكلية, منطق في علم الحاسوب
AR
التحقق الرسمي  التحقق الشكلي  التحقق
AR
في سياق أنظمة العتاد والبرمجيات ، فإن التحقق الشكلي هو إثبات أو دحض صحة الخوارزميات التي يقوم عليها النظام فيما يتعلق بمواصفات أو خواص شكلية معينة، باستخدام طرق شكلية رياضية. Wikipedia
Definitions
Relations
Sources
AR
في سياق أنظمة العتاد والبرمجيات ، فإن التحقق الشكلي هو إثبات أو دحض صحة الخوارزميات التي يقوم عليها النظام فيما يتعلق بمواصفات أو خواص شكلية معينة، باستخدام طرق شكلية رياضية. Wikipedia
Wikipedia Translations