Formal Verification of Parallel Prefix Sum

Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Formal Verification of Parallel Prefix Sum'. Together they form a unique fingerprint.

Engineering & Materials Science