Formal verification of parallel prefix sum and stream compaction algorithms in CUDA. - Safari, Mohsen; Huisman, Marieke (Theoretical Computer Science, 2022)