An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks
Joint Authors
Zhang, Long
Qu, Wanxia
Guo, Yang
Li, Sikun
Huo, Yinjia
Source
Wireless Communications and Mobile Computing
Issue
Vol. 2018, Issue 2018 (31 Dec. 2018), pp.1-8, 8 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2018-01-28
Country of Publication
Egypt
No. of Pages
8
Main Subjects
Information Technology and Computer Science
Abstract 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).
American Psychological Association (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
Modern Language Association (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
American Medical Association (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
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1215959