GPUVerify
From MaRDI portal
Cited in
(41)- Oclgrind
- Mostly automated formal verification of loop dependencies with applications to distributed stencil algorithms
- OpenCL
- Chalice
- Verifying Whiley programs with Boogie
- Formal verification of parallel prefix sum and stream compaction algorithms in CUDA
- Automated verification of the parallel Bellman-Ford algorithm
- Cumapz
- InvGen
- Natural projection as partial model checking
- A learning-based approach to synthesizing invariants for incomplete verification engines
- VerCors
- CMC
- CUDPP
- GKLEE
- Rodinia
- CUDA-lite
- TCT
- Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms
- libFAUDES
- c2i
- REFINER
- KLEE-FP
- Pochoir
- AstraVer
- Gunrock
- Simulee
- BARRACUDA
- CURD
- GMRace
- GRace
- RVT
- MuDiv
- PESTS
- Verification of concurrent systems with VerCors
- A Hoare Logic for GPU Kernels
- A sound and complete abstraction for reasoning about parallel prefix sums
- WebAssembly
- Loopy
- Checking data-race freedom of GPU kernels, compositionally
- Product programs in the wild: retrofitting program verifiers to check information flow security
This page was built for software: GPUVerify
