A Design of GPU-Based Quantitative Model Checking
No abstract available.
Related papers
- GPU Acceleration of Bounded Model Checking with ParaFROST CAV 2021
- Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System CAV 1996
- Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking CAV 2013
- Bridging the semantic gap between qualitative and quantitative models of distributed systems OOPSLA 2022
- Model Checking Quantitative Hyperproperties CAV 2018
- BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs CAV 2016
- cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications PLDI 2023
- Taking Back Control in an Intermediate Representation for GPU Computing POPL 2023