Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms.

Mohsen Safari, Marieke Huisman

Browse the full ICTAC paper archive.