![](/images/graphics-bg.png)
Towards Support for Software Model Checking : Improving the Efficiency of Formal Specifications
المؤلفون المشاركون
Roach, Steve
Salamah, Salamah
Engskow, Matthew
Gates, Ann Q.
المصدر
Advances in Software Engineering
العدد
المجلد 2011، العدد 2011 (31 ديسمبر/كانون الأول 2011)، ص ص. 1-13، 13ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2011-06-22
دولة النشر
مصر
عدد الصفحات
13
التخصصات الرئيسية
الملخص EN
The Property Specification (Prospec) tool uses patterns and scopes defined by Dwyer et al., to generate formal specifications in Linear Temporal Logic (LTL) and other languages.
The work presented in this paper provides improved LTL specifications for patterns and scopes over those originally provided by Prospec.
This improvement comes in the efficiency of the LTL formulas as measured in terms of the number of states in the Büchi automaton generated for the formula.
Minimizing the size of the Büchi automata for an LTL specification provides a significant improvement for model checking software systems using such tools as the highly acclaimed Spin model checker.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Salamah, Salamah& Gates, Ann Q.& Roach, Steve& Engskow, Matthew. 2011. Towards Support for Software Model Checking : Improving the Efficiency of Formal Specifications. Advances in Software Engineering،Vol. 2011, no. 2011, pp.1-13.
https://search.emarefa.net/detail/BIM-504810
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Salamah, Salamah…[et al.]. Towards Support for Software Model Checking : Improving the Efficiency of Formal Specifications. Advances in Software Engineering No. 2011 (2011), pp.1-13.
https://search.emarefa.net/detail/BIM-504810
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Salamah, Salamah& Gates, Ann Q.& Roach, Steve& Engskow, Matthew. Towards Support for Software Model Checking : Improving the Efficiency of Formal Specifications. Advances in Software Engineering. 2011. Vol. 2011, no. 2011, pp.1-13.
https://search.emarefa.net/detail/BIM-504810
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-504810
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)