SentryWard: Formal Verification of Warp-Specialized GPU Kernels

(sentryward.io)

2 points | by matt_d 9 hours ago ago