The following pages link to GPUVerify (Q23206):
Displaying 12 items.
- Checking data-race freedom of GPU kernels, compositionally (Q832190) (← links)
- Product programs in the wild: retrofitting program verifiers to check information flow security (Q832225) (← links)
- Mostly automated formal verification of loop dependencies with applications to distributed stencil algorithms (Q1722642) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Formal verification of parallel prefix sum and stream compaction algorithms in CUDA (Q2120963) (← links)
- Automated verification of the parallel Bellman-Ford algorithm (Q2145339) (← links)
- Natural projection as partial model checking (Q2208303) (← links)
- A learning-based approach to synthesizing invariants for incomplete verification engines (Q2208307) (← links)
- Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms (Q2829257) (← links)
- Verification of Concurrent Systems with VerCors (Q5175776) (← links)
- A Hoare Logic for GPU Kernels (Q5278201) (← links)
- A sound and complete abstraction for reasoning about parallel prefix sums (Q5408435) (← links)
