Towards Light-Weight Probabilistic Model Checking
المؤلف
المصدر
Journal of Applied Mathematics
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-15، 15ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-07-10
دولة النشر
مصر
عدد الصفحات
15
التخصصات الرئيسية
الملخص EN
Model checking has been extensively used to verify various systems.
However, this usually has been done by experts who have a good understanding of model checking and who are familiar with the syntax of both modelling and property specification languages.
Unfortunately, this is not an easy task for nonexperts to learn description languages for modelling and formal logics/languages for property specification.
In particular, property specification is very daunting and error-prone for nonexperts.
In this paper, we present a methodology to facilitate probabilistic model checking for nonexperts.
The methodology helps nonexpert users model their systems and express their requirements without any knowledge of the modelling and property specification languages.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Konur, Savas. 2014. Towards Light-Weight Probabilistic Model Checking. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-15.
https://search.emarefa.net/detail/BIM-500181
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Konur, Savas. Towards Light-Weight Probabilistic Model Checking. Journal of Applied Mathematics No. 2014 (2014), pp.1-15.
https://search.emarefa.net/detail/BIM-500181
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Konur, Savas. Towards Light-Weight Probabilistic Model Checking. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-15.
https://search.emarefa.net/detail/BIM-500181
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-500181
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر