An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks
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 pr...
Main Authors: | Long Zhang, Wanxia Qu, Yinjia Huo, Yang Guo, Sikun Li |
---|---|
Format: | Article |
Language: | English |
Published: |
Hindawi-Wiley
2018-01-01
|
Series: | Wireless Communications and Mobile Computing |
Online Access: | http://dx.doi.org/10.1155/2018/3193974 |
Similar Items
-
A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems
by: Long Zhang, et al.
Published: (2017-01-01) -
From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification
by: Chlipala, Adam
Published: (2015) -
From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification
by: Chlipala, Adam
Published: (2014) -
MULTITHREADING BASED ACCELERATION FOR SMT SOLVER IN RTL VERIFICATION
by: Sagili, Chandra Teja Kumar Reddy
Published: (2019) -
Designing a Mobile User Interface for Crowdsourced Verification of Datasets
by: Rintala, Jonathan, et al.
Published: (2018)