Parallel computational tree logic model‐checking on pushdown systems

• Published in: Concurrency and computation Vol. 34; no. 23
• Main Authors: Ye, Xin, Shi, Jianqi, Huang, Yanhong, Li, Qin, Wei, Hansheng, Chen, Xinyu
• Format: Journal Article
• Language: English
• Published: Hoboken Wiley Subscription Services, Inc 25.10.2022
• Subjects: Algorithms; Computer architecture; CUDA; Data structures; Graphics processing units; Logic; Malware; model checking; parallel computing; Procedure calls; program verification; Program verification (computers); pushdown systems

Summary Model checking and static analysis have been well studied for program verification. Because of the ability to describe the stack, the pushdown system (PDS) has become a perfect model that is able to accurately model procedure calls and mimic the program's stack. Thus, it is not only a g...