فورمل طریقے ہیں ریاضیاتی تکنیکیں جو تمام حالتوں کے تحت نظام کو درست کرنے، ترقی اور درستی کے لیے استعمال کی جاتی ہیں، خاص طور پر ان تنقیدی اطلاقات میں جہاں حفاظت اور عدم استحکام کی ضرورت ہوتی ہے، ان طریقوں کو ترقی کے عمل میں غلطیوں کی شناخت کرنے اور ان کے مطابق نظام عمل کو یقینی بنانے میں مدد ملتی ہے۔

بُرے نظاموں میں خطرناک نظاموں میں خطرناک نظام کی بابت معلومات

مثال کے طور پر ، فورمل طریقے نمونے نظام‌اُلعمل اور ریاضیاتی ثبوتوں کے ذریعے قائم‌کردہ خصوصیات کو یقینی بنانے کیلئے ایک پیچیدہ فریم ورک فراہم کرتے ہیں ۔

فورمل انسائمنٹ ایپلیکیشن کی کیس

مثال کے طور پر ، ہوائی جہاز کے کنٹرول سافٹ‌وی سافٹ‌وی میں ، روایتی ٹیسٹ‌اُلعین کو کھو دینے والی خفیہ غلطیوں کو جاننے کی صلاحیت کا مظاہرہ کرنے کے لئے مختلف صنعتوں کو حفاظتی معیاروں کے مطابق ڈھالنے کے لئے استعمال کِیا گیا ہے ۔

کیل‌کیشن اور تکنیکی استعمال

عام تکنیکوں میں ماڈل چیکنگ ، تھیرم کا فیصلہ اور انتہائی متضاد تعبیر شامل ہیں ۔ ان طریقوں میں نظام کے ریاضیاتی نمونے پیدا کرنا اور حفاظتی ، زندہ رہنے اور درستی جیسی خصوصیات کی تصدیق کرنے کے لئے الجبرا کو عمل میں لانا شامل ہے ۔

  • ماڈل چیکینگ
  • آزمائش کا ثبوت
  • فورمل مخصوص زبانیں
  • خودکار آلات