Using maximality-based labeled transition system model for concurrency logic verification
المؤلفون المشاركون
Saidouni, Jamal al-Din
Bilal, Nabil
المصدر
The International Arab Journal of Information Technology
العدد
المجلد 2، العدد 3 (31 يوليو/تموز 2005)، ص ص. 199-205، 7ص.
الناشر
تاريخ النشر
2005-07-31
دولة النشر
الأردن
عدد الصفحات
7
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الموضوعات
الملخص EN
In this paper, we show the interest of the maximality-based semantics for the check of concurrent system properties.
For this purpose, we use the Maximality-based Labeled Transition System (MLTS) as a behavior model.
From this point of view, we can omit action temporal and structural atomicity hypotheses; consequently, we can inherit result of combinatorial state space explosion problem solution based on the use of true concurrency semantics.
Properties to be verified are expressed using the Computation Tree Logic (CTL).
The main contribution of the paper is to show that model checking algorithms proposed in the literature, which are based on interleaving semantics, may be adapted easily to true concurrency semantics for the verification of new properties classes related to simultaneous progress of actions at different states.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Saidouni, Jamal al-Din& Bilal, Nabil. 2005. Using maximality-based labeled transition system model for concurrency logic verification. The International Arab Journal of Information Technology،Vol. 2, no. 3, pp.199-205.
https://search.emarefa.net/detail/BIM-12187
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Saidouni, Jamal al-Din& Bilal, Nabil. Using maximality-based labeled transition system model for concurrency logic verification. The International Arab Journal of Information Technology Vol. 2, no. 3 (Jul. 2005), pp.199-205.
https://search.emarefa.net/detail/BIM-12187
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Saidouni, Jamal al-Din& Bilal, Nabil. Using maximality-based labeled transition system model for concurrency logic verification. The International Arab Journal of Information Technology. 2005. Vol. 2, no. 3, pp.199-205.
https://search.emarefa.net/detail/BIM-12187
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references : p. 204-205
رقم السجل
BIM-12187
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر