BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs
No abstract available.
Related papers
- Efficient Decision Procedures for Model Checking of Linear Time Logic Properties CAV 1999
- Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems CAV 2017
- BerryBees: Breadth First Search by Bit-Tensor-Cores PPoPP 2025
- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models TACAS 2018
- Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking TACAS 2024
- Scalable GPU graph traversal PPoPP 2012
- Higher-Order Program Verification via HFL Model Checking ESOP 2018
- A pattern based algorithmic autotuner for graph processing on GPUs PPoPP 2019