On the verification by approximation of duration systems
المؤلفون المشاركون
Berregeb, Narjis
Robbana, Riyad
المصدر
The International Arab Journal of Information Technology
العدد
المجلد 1، العدد 2 (31 يوليو/تموز 2004)، ص ص. 147-155، 9ص.
الناشر
تاريخ النشر
2004-07-31
دولة النشر
الأردن
عدد الصفحات
9
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
We consider the problem of verifying invariance properties for duration systems.
Such systems are (extended) timed graphs with duration variables.
They are especially suitable for describing real time schedulers.
However, for this kind of systems, the verification problem of invariance properties is in general undecidable.
We propose an over approximation method based on a particular extension of a given duration system, and we show that our over approximation includes all the digitization of all the real computations of the duration system.
The over-approximated system can then be used to perform an interesting close analysis of invariance properties of the initial system, while other existing approaches fail.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Berregeb, Narjis& Robbana, Riyad. 2004. On the verification by approximation of duration systems. The International Arab Journal of Information Technology،Vol. 1, no. 2, pp.147-155.
https://search.emarefa.net/detail/BIM-12477
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Berregeb, Narjis& Robbana, Riyad. On the verification by approximation of duration systems. The International Arab Journal of Information Technology Vol. 1, no. 2 (Jul. 2004), pp.147-155.
https://search.emarefa.net/detail/BIM-12477
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Berregeb, Narjis& Robbana, Riyad. On the verification by approximation of duration systems. The International Arab Journal of Information Technology. 2004. Vol. 1, no. 2, pp.147-155.
https://search.emarefa.net/detail/BIM-12477
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references : p. 154-155
رقم السجل
BIM-12477
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر