GPU accelerated on-the-fly reachability checking
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...
Saved in:
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: | |
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 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
GPU Accelerated counterexample generation in LTL model checking
by: WU, Zhimin, et al.
Published: (2014) -
Model checking software architecture design
by: ZHANG, Jiexin, et al.
Published: (2012) -
GPU-based graph traversal on compressed graphs
by: SHA, Mo, et al.
Published: (2019) -
GPU acceleration
by: Lee, Chan Khong
Published: (2015) -
Improved reachability analysis in DTMC via divide and conquer
by: SONG, Songzheng, et al.
Published: (2013)