Compositional Abstraction Refinement for Component-Based Systems
المؤلفون المشاركون
Lo, Kueiming
Meng, Qingdi
Zhang, Lianyi
المصدر
Journal of Applied Mathematics
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-12، 12ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-06-11
دولة النشر
مصر
عدد الصفحات
12
التخصصات الرئيسية
الملخص EN
The efficiency of the compositional verification of invariants depends on the abstraction, which may lead to verification incompleteness.
The invariant strengthening and state partitioning techniques are proposed in this paper.
The former could refine the overapproximation by removing the unreachable states, and the latter is a variant of counterexample-guided abstraction refinement.
Integrated with these two refinement techniques, a unified compositional verification framework is presented to strengthen the abstraction and find counterexamples.
Some examples are included to show that the verification of the safety properties in component-based systems has been achieved by our framework.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Zhang, Lianyi& Meng, Qingdi& Lo, Kueiming. 2014. Compositional Abstraction Refinement for Component-Based Systems. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-12.
https://search.emarefa.net/detail/BIM-491794
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Zhang, Lianyi…[et al.]. Compositional Abstraction Refinement for Component-Based Systems. Journal of Applied Mathematics No. 2014 (2014), pp.1-12.
https://search.emarefa.net/detail/BIM-491794
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Zhang, Lianyi& Meng, Qingdi& Lo, Kueiming. Compositional Abstraction Refinement for Component-Based Systems. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-12.
https://search.emarefa.net/detail/BIM-491794
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-491794
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر