Download
https://hgpu.org/?p=2770
Scalable SMT-based verification of GPU kernel functions
Share