Formal verification of parallel stream compaction and summed-area table algorithms

DOI10.1007/978-3-030-64276-1_10OpenAlexW3109781407MaRDI QIDQ2037943

Mohsen Safari, Marieke Huisman

Publication date: 8 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-64276-1_10

zbMATH Keywords

separation logicdeductive verificationGPU verification

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Formal verification of parallel prefix sum and stream compaction algorithms in CUDA

This page was built for publication: Formal verification of parallel stream compaction and summed-area table algorithms