![](/images/graphics-bg.png)
Generating exact approximations to model check concurrent systems
المؤلف
المصدر
The International Arab Journal of Information Technology
العدد
المجلد 5، العدد 4 (31 أكتوبر/تشرين الأول 2008)، ص ص. 393-401، 9ص.
الناشر
تاريخ النشر
2008-10-31
دولة النشر
الأردن
عدد الصفحات
9
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
In this paper, we present a method to generate abstractions for model checking concurrent systems.
A program using a defined syntax and semantics, first describes the concurrent system that can be infinite.
This program is abstracted using the framework of abstract interpretation where an abstract function will be given.
This abstract program is demonstrated to be an accurate approximation of the original program that may contain spurious behaviours.
These spurious behaviours will be identified and removed using a new defined abstraction framework based on the restrictions.
The new produced abstract program is an exact approximation of the original program.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Bourahla, Mustafa. 2008. Generating exact approximations to model check concurrent systems. The International Arab Journal of Information Technology،Vol. 5, no. 4, pp.393-401.
https://search.emarefa.net/detail/BIM-11537
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Bourahla, Mustafa. Generating exact approximations to model check concurrent systems. The International Arab Journal of Information Technology Vol. 5, no. 4 (Oct. 2008), pp.393-401.
https://search.emarefa.net/detail/BIM-11537
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Bourahla, Mustafa. Generating exact approximations to model check concurrent systems. The International Arab Journal of Information Technology. 2008. Vol. 5, no. 4, pp.393-401.
https://search.emarefa.net/detail/BIM-11537
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references : p. 400-401
رقم السجل
BIM-11537
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)