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

فارمل کو سمجھنے کی کوشش کریں

یہ عمل‌وتفتیش یا ترقی کے عمل میں ابتدائی طور پر نقل‌مکانی کرنے کیلئے نہایت موزوں طریقے اختیار کئے جا سکتے ہیں ۔

فورمل ویلیشن کی عملی مثالیں

ایک مثال خود مختار گاڑی کے نظام میں حفاظتی تقاضوں کی تصدیق کرتی ہے. فورمل طریقہ کار مختلف طریقوں کے تحت ممکنہ حفاظتی منطقی منطقی اور ممکنہ حفاظتی تنازعات کی جانچ کر سکتا ہے. ایک اور مثال میں معلوماتی صداقت اور حفاظتی نظام کو یقینی بنانے کے لیے رابطہ پروٹوکول کو یقینی بنانے کے لیے رابطہ کے پروٹوکول کو شامل کرنا شامل ہے۔

سامان اور اوزار

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

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