GPU accelerated on-the-fly reachability checking

• Main Authors: WU, Zhimin, LIU, Yang, SUN, Jun, SHI, Jianqi, QIN, Shengchao
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2015
• Subjects: Computer and Systems Architecture; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4951; https://ink.library.smu.edu.sg/context/sis_research/article/5954/viewcontent/ICECCS2015b.pdf
• Institution: Singapore Management University

Model checking suffers from the infamous state space explosion problem. In this paper, we propose an approach, named GPURC, to utilize the Graphics Processing Units (GPUs) to speed up the reachability verification. The key idea is to achieve a dynamic load balancing so that the many cores in GPUs ar...