DMCA

Scalable SMT-Based Verification of GPU Kernel Functions ∗

by Guodong Li , Ganesh Gopalakrishnan
Citations:32 - 11 self