GKLEE
From MaRDI portal
Software:24718
No author found.
Related Items (10)
Formal verification of parallel prefix sum and stream compaction algorithms in CUDA ⋮ A Hoare Logic for GPU Kernels ⋮ Checking data-race freedom of GPU kernels, compositionally ⋮ Automated verification of the parallel Bellman-Ford algorithm ⋮ Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels ⋮ A Hoare Logic for SIMT Programs ⋮ Automated verification of functional correctness of race-free GPU programs ⋮ Mostly automated formal verification of loop dependencies with applications to distributed stencil algorithms ⋮ A sound and complete abstraction for reasoning about parallel prefix sums ⋮ Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms
This page was built for software: GKLEE
