GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs
Abstract elided by the publisher.
Related papers
- GPUexploresc prob: Markov Chain State Space Construction and Verification with GPUs TACAS 2025
- A GPU Tree Database for Many-Core Explicit State Space Exploration TACAS 2023
- Psym: Efficient Symbolic Exploration of Distributed Systems PLDI 2023
- Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking TACAS 2024
- Multi-core On-The-Fly Saturation TACAS 2019
- SparseX: Synergizing GPU Libraries for Sparse Matrix Multiplication on Heterogeneous Processors CGO 2026
- A language for hierarchical data parallel design-space exploration on GPUs JFP 2016
- Model-based Iterative CT Image Reconstruction on GPUs PPoPP 2017