Fig. 3
From: Preserving provability over GPU program optimizations with annotation-aware transformations
An optimized GPU-style program, annotated for verification.
Fig. 3 | Formal Methods in System Design
From: Preserving provability over GPU program optimizations with annotation-aware transformations
An optimized GPU-style program, annotated for verification.