SentryWard: Formal Verification of Warp-Specialized GPU Kernels

(sentryward.io)

2 points | by matt_d 10 hours ago ago