Scalable Deductive Verification of Data-Level Parallel Programs.

Lars B. van den Haak, Anton Wijs, Marieke Huisman

Browse the full CAV paper archive.