Murφ
مرفی (/m. fi /، جس کی ہجے مرفی بھی ہے) ایک ایکسپلیکٹ اسٹیٹ ماڈل چیکر ہے جو اسٹینفورڈ یونیورسٹی میں تیار کیا گیا ہے، اور کیش-کوہرینس پروٹوکول کی باضابطہ تصدیق کے لیے بڑے پیمانے پر استعمال ہوتا ہے۔ مورفی کی ابتدائی تاریخ ڈیوڈ ڈل کے ایک مقالے میں بیان کی گئی ہے۔ مرف کا پہلا ورژن 1990 اور 1991 میں اسٹینفورڈ یونیورسٹی میں پروفیسر ڈیوڈ ڈل اور ان کے گریجویٹ طلباء اینڈریاس ڈریکسلر، ایلن ہو اور ہان یانگ نے ڈیزائن کیا تھا، اور بنیادی طور پر اینڈریاس ڈریکسلر نے اسے نافذ کیا تھا۔ تفصیلات کی زبان میں بڑے پیمانے پر ترمیم کی گئی اور اس میں توسیع ڈیوڈ ڈل، ایلن ہو، سی نورس ایپ، رالف میلٹن، سیونگ جون پارک، اور ہان یانگ نے کی۔ رالف میلٹن نے 1992 کے موسم گرما اور موسم خزاں کے دوران نئے ورژن کو نافذ کیا۔ سیونگ جون پارک نے زندگی کی جانچ اور انصاف پسندی کی رکاوٹوں کو شامل کیا، لیکن چونکہ زندگی کی تصدیق کے لیے الگورتھم اہم اصلاحات، خاص طور پر ہم آہنگی میں کمی کے ساتھ متصادم تھا، اس لیے بعد کی ریلیزز میں زندگی کی تصدیق کو خارج کر دیا گیا۔ سی۔ نورس آئی پی نے ریورسیبل قوانین اور تکرار کنسٹرکٹرز کو نافذ کیا (جو ریلیز 3.1 میں شامل نہیں ہیں)، اور سمیٹری اور ملٹی سیٹ کمی (جو ہیں) کو شامل کیا۔ الریچ سٹرن نے ہیش کمپکشن کو نافذ کیا، ڈسک کے استعمال کو بہتر بنایا، اور متوازی مرفی کو نافذ کیا۔ اسٹینفورڈ کی آخری ریلیز 3.1 نومبر 1993 میں ریلیز ہوئی تھی۔ اس کے بعد سے دیگر گروہوں کے ذریعہ Murφ کے بہت سے مشتق ورژن بنائے گئے ہیں۔ خصوصیات مرفی مرتب مرفی وضاحتی زبان میں لکھے گئے ماڈل کو قبول کرتا ہے اور C + + کوڈ کو آؤٹ پٹ کرتا ہے جو اس ماڈل کے لیے تصدیق کنندہ تشکیل دیتا ہے۔ (یعنی، سی + + کوڈ، جب عمل میں لایا جاتا ہے، تو وضاحتیں بیان کردہ ڈیزائن پر ایکسپلیکٹ اسٹیٹ ماڈل کی جانچ پڑتال انجام دیتا ہے۔) مرفی وضاحتی زبان حفاظتی کمانڈز اور ہم آہنگی کا ایک غیر متزلزل، باہمی ماڈل استعمال کرتی ہے، جس میں تمام ہم آہنگی اور مواصلات عالمی متغیرات کے ذریعے کیے جاتے ہیں۔ تصدیق کنندہ ماڈل میں متعین کردہ غیر متغیرات اور اندرونی دعووں کی شکل میں حفاظتی خصوصیات کی جانچ کرتا ہے، اور تعطل کی جانچ کرتا ہے۔ یہ زندہ رہنے کی خصوصیات کی جانچ نہیں کرتا، حالانکہ مرفی ریلیز 2.7 ایل نے عام ایل ٹی ایل زندہ رہنے کی خصوصیات کے ایک سیٹ کی تصدیق کی حمایت کی۔ زبان اور تصدیق کنندہ کچھ قسم کی ہم آہنگی میں کمی کی حمایت کرتے ہیں۔ مرفی کا اطلاق اصل میں کیش-ہم آہنگی پروٹوکول کی تصدیق کے لیے کیا گیا تھا، لیکن اس کا اطلاق دیگر مسائل پر بھی کیا گیا ہے، بشمول حفاظتی پروٹوکول کی تصدیق۔ مرفی لائسنس ایم آئی ٹی لائسنس سے ملتا جلتا ہے۔ مرفی کو کسی بھی مقصد کے لیے استعمال، نقل، ترمیم، فروخت اور دوبارہ تقسیم کیا جا سکتا ہے، بشرطیکہ کاپی رائٹ نوٹس اور لائسنس شامل ہوں، اسٹینفورڈ یونیورسٹی کا نام بغیر اجازت کے اشتہارات یا تشہیر کے لیے استعمال نہیں کیا جاتا ہے، اور ترمیم شدہ ورژن کو بغیر اجازت کے مرفی نہیں کہا جاتا ہے۔ مشتقات اسٹینفورڈ اور دوسری جگہوں پر مرفی کے بہت سے مشتق ورژن بنائے گئے ہیں، جن میں یہ بھی شامل ہیں: متوازی مرفی ایڈی-متوازی اور تقسیم شدہ مرفی۔ پی آر ایچ (متوازی رسائی)-ایرلانگ میں متوازی ماڈل چیکنگ نافذ کی گئی۔ تقسیم شدہ مرفی متوازی بے ترتیب واک مرفی پی اے ایم-پیش گوئی تجریدی مرفی پویم-جزوی آرڈر فعال مرفی سی مورفی-کیچنگ مرفی۔ ایف ایچ پی-مرفی-فائنائٹ ہورائزن امکانی مرفی۔ ایڈی مرفی-متوازی اور تقسیم شدہ، سی ایم مرفی پر مبنی، پیغام بھیجنے کے لیے ایم پی آئی کا استعمال کرتے ہوئے۔ یونیورسل پلانر مرفی-عمل اور واقعات کے ساتھ لکیری اور غیر لکیری مسلسل پی ڈی ڈی ایل + ماڈلز کے لیے منصوبہ بندی اور عالمگیر منصوبہ بندی ؛ ابتدائی لفظی اور ابتدائی روانی کا وقت بھی۔ افواہ بھی دیکھیں ماڈل چیکنگ ٹولز کی فہرست ماڈل چیکنگ ٹولز حوالہ جات بیرونی لنکس مرفی اینوٹیٹڈ ریفرنس دستی، ریلیز 1.1 اسٹینفورڈ سیکیورٹی لیب، سیکیورٹی پروٹوکولز یونیورسٹی آف یوٹاہ کے ماڈل چیکنگ میتھڈز، اسکول آف کمپیوٹنگ-مرف کے ورژن کا مجموعہ۔ ماڈل چیک کرنا C + + میں پروگرام کردہ مفت سافٹ ویئر