Towards a GPGPU-parallel SPIN model checker-Reference-Cited by-同舟云学术

Towards a GPGPU-parallel SPIN model checker

Published:2014-07-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2014 International SPIN Symposium on Model Checking of Software
language:
Short-container-title:

Author:

Bartocci Ezio¹,DeFrancisco Richard²,Smolka Scott A.²

Affiliation:

1. Vienna University of Technology, Austria

2. Stony Brook University, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2632362.2632379

Reference23 articles.

1. Real-time parallel hashing on the GPU

2. D. A. F. Alcantara. Eﬃcient hash tables on the GPU 2011. Copyright - Copyright ProQuest UMI Dissertations Publishing 2011; Last updated - 2014-01-23; First page - n/a; M3: Ph.D. D. A. F. Alcantara. Eﬃcient hash tables on the GPU 2011. Copyright - Copyright ProQuest UMI Dissertations Publishing 2011; Last updated - 2014-01-23; First page - n/a; M3: Ph.D.

3. Designing fast LTL model checking algorithms for many-core GPUs

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The fast and the capacious: memory-efficient multi-GPU accelerated explicit state space exploration with GPUexplore 3.0;Frontiers in High Performance Computing;2024-03-13

2. Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking;Lecture Notes in Computer Science;2024

3. Implementing a CTL Model Checker with $$\mu \mathcal {G}$$, a Language for Programming Graph Neural Networks;Formal Techniques for Distributed Objects, Components, and Systems;2023

4. A GPU Tree Database for Many-Core Explicit State Space Exploration;Tools and Algorithms for the Construction and Analysis of Systems;2023

5. GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data;Model Checking Software;2023