An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks
المؤلفون المشاركون
Zhang, Long
Qu, Wanxia
Guo, Yang
Li, Sikun
Huo, Yinjia
المصدر
Wireless Communications and Mobile Computing
العدد
المجلد 2018، العدد 2018 (31 ديسمبر/كانون الأول 2018)، ص ص. 1-8، 8ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2018-01-28
دولة النشر
مصر
عدد الصفحات
8
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
This paper focused on the safety verification of the multithreaded programs for mobile crowdsourcing networks.
A novel algorithm was proposed to find a way to apply IC3, which is typically the fastest algorithm for SAT-based finite state model checking, in a very clever manner to solve the safety problem of multithreaded programs.
By computing a series of overapproximation reachability, the safety properties can be verified by the SAT-based model checking algorithms.
The results show that the new algorithm outperforms all the recently published works, especially on memory consumption (an advantage that comes from IC3).
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Zhang, Long& Qu, Wanxia& Huo, Yinjia& Guo, Yang& Li, Sikun. 2018. An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks. Wireless Communications and Mobile Computing،Vol. 2018, no. 2018, pp.1-8.
https://search.emarefa.net/detail/BIM-1215959
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Zhang, Long…[et al.]. An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks. Wireless Communications and Mobile Computing No. 2018 (2018), pp.1-8.
https://search.emarefa.net/detail/BIM-1215959
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Zhang, Long& Qu, Wanxia& Huo, Yinjia& Guo, Yang& Li, Sikun. An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks. Wireless Communications and Mobile Computing. 2018. Vol. 2018, no. 2018, pp.1-8.
https://search.emarefa.net/detail/BIM-1215959
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1215959
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر